Search For:

Displaying 1-18 out of 18 total
Testing Deadline Misses for Real-Time Systems Using Constraint Optimization Techniques
Found in: Software Testing, Verification, and Validation, 2008 International Conference on
By Stefano Di Alesio,Arnaud Gotlieb,Shiva Nejati,Lionel Briand
Issue Date:April 2012
pp. 764-769
Safety-critical real-time applications are typically subject to stringent timing constraints which are dictated by the surrounding physical environments. Specifically, tasks in these applications need to finish their execution before given deadlines, other...
 
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...
 
Stuttering Abstraction for Model Checkin
Found in: Software Engineering and Formal Methods, IEEE International Conference on
By Shiva Nejati, Arie Gurfinkel, Marsha Chechik
Issue Date:September 2005
pp. 311-320
Abstraction is one of the most effective approaches to improving the applicability and the scalability of modelchecking. The goal of abstraction is to construct a model which is small enough to analyze, yet contains enough detail to allow conclusive analys...
 
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...
 
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) ...
 
Runtime Monitoring of Web Service Conversations
Found in: IEEE Transactions on Services Computing
By Jocelyn Simmonds, Yuan Gan, Marsha Chechik, Shiva Nejati, Bill O'Farrell, Elena Litani, Julie Waterhouse
Publication Date: June 2009
pp. 223-244
For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. However, Web services are distributed processes that dynamically discover properties of other Web service...
 
Thorough Checking Revisited
Found in: Formal Methods in Computer Aided Design
By Shiva Nejati, Mihaela Gheorghiu, Marsha Chechik
Issue Date:November 2006
pp. 106-116
Recent years have seen a proliferation of 3-valued models for capturing abstractions of systems, since these enable verifying both universal and existential properties. Reasoning about such systems is either inexpensive and imprecise (compositional checkin...
 
Stress testing of task deadlines: A constraint programming approach
Found in: 2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE)
By Stefano Di Alesio,Shiva Nejati,Lionel Briand,Arnaud Gotlieb
Issue Date:November 2013
pp. 158-167
Safety-critical Real Time Embedded Systems (RT-ESs) are usually subject to strict timing and performance requirements that must be satisfied for the system to be deemed safe. In this paper, we use effective search strategies whose goal is finding worst cas...
   
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. ...
     
Behavioural model fusion: an overview of challenges
Found in: Proceedings of the 2008 international workshop on Models in software engineering (MiSE '08)
By Marsha Chechik, Shiva Nejati
Issue Date:May 2008
pp. 69-72
In large-scale model-based development, developers periodically need to combine collections of interrelated models. These models may capture different features of a system, describe alternative perspectives on a single feature, or express ways in which dif...
     
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 ...
     
Formal support for merging and negotiation
Found in: Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering (ASE '05)
By Shiva Nejati
Issue Date:November 2005
pp. 456-460
Model merging is an important activity in software development. We often need to integrate a set of models coming from different sources so as to create a unified model encompassing all the given models. Inconsistencies between models can make model mergin...
     
Let's agree to disagree
Found in: Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering (ASE '05)
By Marsha Chechik, Shiva Nejati
Issue Date:November 2005
pp. 287-290
Almost every kind of software development periodically needs to merge models. Perhaps they come from different stakeholders during the requirements analysis phase, or perhaps they are modifications of the same model done independently by several groups of ...
     
 1