Search For:

Displaying 1-24 out of 24 total
Combining Goal Models, Expert Elicitation, and Probabilistic Simulation for Qualification of New Technology
Found in: High-Assurance Systems Engineering, IEEE International Symposium on
By Mehrdad Sabetzadeh,Davide Falessi,Lionel Briand,Stefano Di Alesio,Dag McGeorge,Vidar Âhjem,Jonas Borg
Issue Date:November 2011
pp. 63-72
New technologies typically involve innovative aspects that are not addressed by the existing normative standards and hence are not assessable through common certification procedures. To ensure that new technologies can be implemented in a safe and reliable...
 
Using SysML for Modeling of Safety-Critical Software-Hardware Interfaces: Guidelines and Industry Experience
Found in: High-Assurance Systems Engineering, IEEE International Symposium on
By Mehrdad Sabetzadeh,Shiva Nejati,Lionel Briand,Anne-Heidi Evensen Mills
Issue Date:November 2011
pp. 193-201
Safety-critical embedded systems often need to undergo a rigorous certification process to ensure that the safety risks associated with the use of the systems are adequately mitigated. Interfaces between software and hardware components (SW/HW interfaces) ...
 
Using Model-Driven Engineering for Managing Safety Evidence: Challenges, Vision and Experience
Found in: Software Certification, International Workshop on
By Rajwinder Kaur Panesar-Walawege,Mehrdad Sabetzadeh,Lionel Briand
Issue Date:December 2011
pp. 7-12
Certification is a major prerequisite for most safety-critical systems before they can be put into operation. During certification, system suppliers often have to present a coherent body of evidence demonstrating that the developed systems are safe for ope...
 
Challenges for an Open and Evolutionary Approach to Safety Assurance and Certification of Safety-Critical Systems
Found in: Software Certification, International Workshop on
By Hu´scar Espinoza,Alejandra Ruiz,Mehrdad Sabetzadeh,Paolo Panaroni
Issue Date:December 2011
pp. 1-6
Safety assurance and certification are amongst the most expensive and time-consuming tasks in the development of safety-critical embedded systems. The increasing complexity and size of this kind of systems combined with the growing market demand requires t...
 
A Model-Driven Engineering Approach to Support the Verification of Compliance to Safety Standards
Found in: Software Reliability Engineering, International Symposium on
By Rajwinder Kaur Panesar-Walawege,Mehrdad Sabetzadeh,Lionel Briand
Issue Date:December 2011
pp. 30-39
Certification of safety-critical systems according to well-recognised standards is the norm in many industries where the failure of such systems can harm people or the environment. Certification bodies examine such systems, based on evidence that the syste...
 
Planning for Safety Standards Compliance: A Model-Based Tool-Supported Approach
Found in: IEEE Software
By Davide Falessi,Mehrdad Sabetzadeh,Lionel Briand,Emanuele Turella,Thierry Coq,Rajwinder Kaur Panesar-Walawege
Issue Date:May 2012
pp. 64-70
Safety-critical software-dependent systems such as those found in the avionics, automotive, maritime, and energy domains often require certification based on one or more safety standards. To demonstrate compliance with software safety standards, such as IE...
 
Characterizing the Chain of Evidence for Software Safety Cases: A Conceptual Model Based on the IEC 61508 Standard
Found in: Software Testing, Verification, and Validation, 2008 International Conference on
By Rajwinder Kaur Panesar-Walawege, Mehrdad Sabetzadeh, Lionel Briand, Thierry Coq
Issue Date:April 2010
pp. 335-344
Increasingly, licensing and safety regulatory bodies require the suppliers of software-intensive, safety-critical systems to provide an explicit software safety case – a structured set of arguments based on objective evidence to demonstrate that the softwa...
 
Relationship-based change propagation: A case study
Found in: Modeling in Software Engineering, International Workshop on
By Marsha Chechik, Winnie Lai, Shiva Nejati, Jordi Cabot, Zinovy Diskin, Steve Easterbrook, Mehrdad Sabetzadeh, Rick Salay
Issue Date:May 2009
pp. 7-12
Software development is an evolutionary process. Requirements of a system are often incomplete or inconsistent, and hence need to be extended or modified over time. Customers may demand new services or goals that often lead to changes in the design and imp...
 
Global consistency checking of distributed models with TReMer+
Found in: Software Engineering, International Conference on
By Mehrdad Sabetzadeh, Shiva Nejati, Steve Easterbrook, Marsha Chechik
Issue Date:May 2008
pp. 815-818
We present TReMer+, a tool for consistency checking of distributed models (i.e., models developed by distributed teams). TReMer+ works by first constructing a merged model before checking consistency. This enables a flexible way of verifying global consist...
 
Consistency Checking of Conceptual Models via Model Merging
Found in: Requirements Engineering, IEEE International Conference on
By Mehrdad Sabetzadeh, Shiva Nejati, Sotirios Liaskos, Steve Easterbrook, Marsha Chechik
Issue Date:October 2007
pp. 221-230
Requirements elicitation involves the construction of large sets of conceptual models. An important step in the analysis of these models is checking their consistency. Existing research largely focuses on checking consistency of individual models and of re...
 
Matching and Merging of Statecharts Specifications
Found in: Software Engineering, International Conference on
By Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Steve Easterbrook, Pamela Zave
Issue Date:May 2007
pp. 54-64
Model Management addresses the problem of managing an evolving collection of models, by capturing the relationships between models and providing well-defined operators to manipulate them. In this paper, we describe two such operators for manipulating hiera...
 
A Relationship-Driven Framework for Model Merging
Found in: Modeling in Software Engineering, International Workshop on
By Mehrdad Sabetzadeh, Shiva Nejati, Steve Easterbrook, Marsha Chechik
Issue Date:May 2007
pp. 2
A key problem in model-based development is merging a set of distributed models into a single seamless model. To merge a set of models, we need to know how they are related. In this position paper, we discuss the methodological aspects of describing the re...
 
Management of Incomplete and Inconsistent Views
Found in: Automated Software Engineering, International Conference on
By Mehrdad Sabetzadeh
Issue Date:September 2006
pp. 339-342
Views have long been used as a means to structure and manage conceptual models. Model management aims to keep track of the relationships between a set of views as they evolve, and to describe the manipulations performed over them in terms of a set of prede...
 
A Category-theoretic Approach to Syntactic Software Merging
Found in: Software Maintenance, IEEE International Conference on
By Nan Niu, Steve Easterbrook, Mehrdad Sabetzadeh
Issue Date:September 2005
pp. 197-206
Software merging is a common and essential activity during the lifespan of large-scale software systems. Traditional textual merge techniques are inadequate for detecting syntactic merge conflicts. In this paper, we propose a domain-independent approach fo...
 
An Algebraic Framework for Merging Incomplete and Inconsistent Views
Found in: Requirements Engineering, IEEE International Conference on
By Mehrdad Sabetzadeh, Steve Easterbrook
Issue Date:September 2005
pp. 306-318
<p>View merging, also called view integration, is a key problem in conceptual modeling. Large models are often constructed and accessed by manipulating individual views, but it is important to be able to consolidate a set of views to gain a uni?ed pe...
 
iVuBlender: A Tool for Merging Incomplete and Inconsistent Views
Found in: Requirements Engineering, IEEE International Conference on
By Mehrdad Sabetzadeh, Steve Easterbrook
Issue Date:September 2005
pp. 453-454
<p>View merging is an important activity in any conceptual modeling language. It is often desirable to combine a set of views to gain a unified perspective, to test hypotheses about how views are related, or to perform various types of analysis. A ma...
 
Analysis of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic Approach
Found in: Automated Software Engineering, International Conference on
By Mehrdad Sabetzadeh, Steve Easterbrook
Issue Date:October 2003
pp. 12
Eliciting the requirements for a proposed system typically involves different stakeholders with different expertise, responsibilities, and perspectives. Viewpoints-based approaches have been proposed as a way to manage incomplete and inconsistent models ga...
 
Automatic Checking of Conformance to Requirement Boilerplates via Text Chunking: An Industrial Case Study
Found in: 2013 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM)
By Chetan Arora,Mehrdad Sabetzadeh,Lionel Briand,Frank Zimmer,Raul Gnaga
Issue Date:October 2013
pp. 35-44
Context. Boilerplates have long been used in Requirements Engineering (RE) to increase the precision of natural language requirements and to avoid ambiguity problems caused by unrestricted natural language. When boilerplates are used, an important quality ...
 
Classification, Structuring, and Assessment of Evidence for Safety -- A Systematic Literature Review
Found in: 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation (ICST)
By Sunil Nair,Jose Luis de la Vara,Mehrdad Sabetzadeh,Lionel Briand
Issue Date:March 2013
pp. 94-103
Safety assurance and certification are amongst the most expensive and time-consuming tasks in the development of safety-critical systems. Demonstration of compliance with safety standards involves providing evidence that the standards' safety criteria are ...
 
Matching and Merging of Variant Feature Specifications
Found in: IEEE Transactions on Software Engineering
By Shiva Nejati,Mehrdad Sabetzadeh,Marsha Chechik,Steve Easterbrook,Pamela Zave
Issue Date:November 2012
pp. 1355-1375
Model Management addresses the problem of managing an evolving collection of models by capturing the relationships between models and providing well-defined operators to manipulate them. In this paper, we describe two such operators for manipulating featur...
 
Traceability and SysML design slices to support safety inspections: A controlled experiment
Found in: ACM Transactions on Software Engineering and Methodology (TOSEM)
By Davide Falessi, Lionel Briand, Mehrdad Sabetzadeh, Shiva Nejati, Tao Yue
Issue Date:February 2014
pp. 1-43
Certifying safety-critical software and ensuring its safety requires checking the conformance between safety requirements and design. Increasingly, the development of safety-critical software relies on modeling, and the System Modeling Language (SysML) is ...
     
Towards compositional synthesis of evolving systems
Found in: Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering (SIGSOFT '08/FSE-16)
By Marsha Chechik, Mehrdad Sabetzadeh, Pamela Zave, Sebastian Uchitel, Shiva Nejati
Issue Date:November 2008
pp. 1-2
Synthesis of system configurations from a given set of features is an important and very challenging problem. This paper makes a step towards this goal by describing an efficient technique for synthesizing pipeline configurations of feature-based systems. ...
     
A manifesto for model merging
Found in: Proceedings of the 2006 international workshop on Global integrated model management (GaMMa '06)
By Greg Brunet, Marsha Chechik, Mehrdad Sabetzadeh, Nan Niu, Shiva Nejati, Steve Easterbrook
Issue Date:May 2006
pp. 5-12
If a modeling task is distributed, it will frequently be necessary to merge models developed by different team members. Existing approaches to model merging make assumptions about the types of model to be merged, and the nature of the relationship between ...
     
Traceability in viewpoint merging: a model management perspective
Found in: Proceedings of the 3rd international workshop on Traceability in emerging forms of software engineering (TEFSE '05)
By Mehrdad Sabetzadeh, Steve Easterbrook
Issue Date:November 2005
pp. 44-49
Viewpoint merging is one of the core activities in viewpoints-based development. We may consolidate a set of viewpoints to unify different stakeholders' perspectives, to explore interactions between different parts of a problem, or to perform various types...
     
 1