Export 35 results:
Filters: Author is Mehrdad Sabetzadeh [Clear All Filters]
"Evidence Management for Compliance of Critical Systems with Safety Standards: A Survey on the State of Practice." Information and Software Technology 60 (2015): 1-15.
ist_surveymunscript.pdf (1.38 MB)
ist_surveymunscript.pdf (1.38 MB) "An Extended Systematic Literature Review on Provision of Evidence for Safety Certification." Information and Software Technology 56 (2014): 689-717. IST2014.pdf (2.18 MB)
IST2014.pdf (2.18 MB) "Traceability and SysML Design Slices to Support Safety Inspections: a Controlled Experiment." ACM Transactions on Software Engineering and Methodology 23 (2014).
Classification, Structuring, and Assessment of Evidence for Safety: a Systematic Literature Review In 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation (ICST 2013), Edited by B. Baudry, A. Orso and Y. Le Traon. IEEE, 2013. Simula.simula.1656.pdf (819.79 KB)
Simula.simula.1656.pdf (819.79 KB) An Extended Systematic Literature Review on Provision of Evidence for Safety Certification. Simula Research Laboratory, 2013.
"A Goal-Based Approach for Qualification of New Technologies: Foundations, Tool Support, and Industrial Validation." Reliability Engineering and System Safety (RESS) (2013). sabetzadeh2013goalbased.pdf (1.48 MB)
sabetzadeh2013goalbased.pdf (1.48 MB) Management of Evidence for Compliance With Safety Standards: a Survey on the State of Practice. Simula Research Laboratory, 2013. RESSJ2013.pdf (2.2 MB)
RESSJ2013.pdf (2.2 MB) "Supporting the verification of compliance to safety standards via model-driven engineering: Approach, tool-support and empirical validation." Information and Software Technology 55 (2013): 836-864.
An Extended Systematic Literature Review on Classification, Structuring and Assessment of Evidence for Safety Compliance. Simula Research Laboratory, 2012. tr_2012-23.pdf (3.54 MB)
tr_2012-23.pdf (3.54 MB) "Matching and Merging of Variant Feature Specifications." IEEE Transactions on Software Engineering 38 (2012): 1355-1375.
Modeling and Analysis of CPU Usage in Safety-Critical Embedded Systems to Support Stress Testing In The ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems (MODELS 2012)., 2012. nejati2012modeling.pdf (566.74 KB)
nejati2012modeling.pdf (566.74 KB) Research-Based Innovation: a Tale of Three Projects in Model-Driven Engineering In Model Driven Engineering Languages and Systems, 15th International Conference, MODELS 2012, Edited by L. Briand. Vol. 7590. Springer Berlin Heidelberg, 2012. researchbased.pdf (380.53 KB)
researchbased.pdf (380.53 KB) SLR on Evidence Classification, Structuring and Assessment for Safety. Extracted Data, Technical Report. Simula Research Laboratory, 2012. SLR-Full-Extracted-Data.pdf (2.57 MB)
SLR-Full-Extracted-Data.pdf (2.57 MB) "A SysML-Based Approach to Traceability Management and Design Slicing in Support of Safety Certification: Framework, Tool Support, and Case Studies." Information and Software Technology 54 (2012): 569-590. Simula.simula.1122.pdf (1.06 MB)
Simula.simula.1122.pdf (1.06 MB) Towards a Model-Based Evolutionary Chain of Evidence for Compliance With Safety Standards In Computer Safety, Reliability, and Security SAFECOMP 2012 Workshops: Sassur. Proceedings, Edited by P. D. F. Ortmeier. Springer Berlin / Heidelberg, 2012. Simula.simula.1562.pdf (402.42 KB)
Simula.simula.1562.pdf (402.42 KB) Towards Customer-Based Requirements Engineering Practices In 2012 IEEE Second International Workshop on Empirical Requirements Engineering (EmpiRE), Edited by M. Daneva, D. Damian, O. Dieste, A. Marchetto and O. Pastor. IEEE, 2012. EmpiRE2012.pdf (197.48 KB)
EmpiRE2012.pdf (197.48 KB) Challenges for an Open and Evolutionary Approach to Safety Assurance and Certification of Safety-Critical Systems In 1st International Workshop on Software Certification (WoSoCER'11), Edited by R. Pietrantuono and N. Silva. IEEE, 2011. Simula.simula.1098.pdf (258 KB)
Simula.simula.1098.pdf (258 KB) Combining Goal Models, Expert Elicitation, and Probabilistic Simulation for Qualification of New Technology In The 13th IEEE International High Assurance Systems Engineering Symposium (HASE 2011)., 2011. sabetzadeh2011combining.pdf (438.95 KB)
sabetzadeh2011combining.pdf (438.95 KB) Combining Goal Models, Expert Elicitation, and Probabilistic Simulation for Qualification of New Technology. Simula Research Laboratory, 2011.
CRESCO: Construction of Evidence Repositories for Managing Standards Compliance In 30th ACM International Conference on Conceptual Modeling (ER2011). Berlin Heidelberg: Springer, 2011. Simula.simula.1120.pdf (597.82 KB)
Simula.simula.1120.pdf (597.82 KB) A Model-Driven Engineering Approach to Support the Verification of Compliance to Safety Standards. Simula Research Laboratory, 2011.
A Model-Driven Engineering Approach to Support the Verification of Compliance to Safety Standards In 22th IEEE International Symposium on Software Reliability Engineering (ISSRE 2011), Edited by IEEE. IEEE, 2011. Simula.simula.716.pdf (3.75 MB)
Simula.simula.716.pdf (3.75 MB) "Planning for Safety Evidence Collection: a Tool-Supported Approach Based on Modeling of Standards Compliance Information." IEEE Software pp (2011). Simula.simula.182.pdf (630.37 KB)
Simula.simula.182.pdf (630.37 KB) Research-Based Innovation: a Tale of Three Projects in Model-Driven Engineering. Simula Research Laboratory, 2011. Simula.simula.820.pdf (397.42 KB)
Simula.simula.820.pdf (397.42 KB) SafeSlice: a Model Slicing and Design Safety Inspection Tool for SysML. In SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13rd European Software Engineering Conference (ESEC-13), Edited by A. Z. T. Gyimóthy. ACM, 2011. Simula.simula.970.pdf (681.53 KB)
Simula.simula.970.pdf (681.53 KB)