The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Goal-directed requirements acquisition
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
The mythical man-month (anniversary ed.)
The mythical man-month (anniversary ed.)
Some patterns for software architectures
Pattern languages of program design 2
Fault-tolerant telecommunication system patterns
Pattern languages of program design 2
Formal refinement patterns for goal-driven requirements elaboration
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Reusable software components: object-oriented embedded systems programming in C
Reusable software components: object-oriented embedded systems programming in C
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Analysis patterns: reusable objects models
Analysis patterns: reusable objects models
Object models (2nd ed.): strategies, patterns, and applications
Object models (2nd ed.): strategies, patterns, and applications
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications
IEEE Transactions on Software Engineering
Supporting Scenario-Based Requirements Engineering
IEEE Transactions on Software Engineering
Patterns in property specifications for finite-state verification
Proceedings of the 21st international conference on Software engineering
The unified software development process
The unified software development process
Doing hard time: developing real-time systems with UML, objects, frameworks, and patterns
Doing hard time: developing real-time systems with UML, objects, frameworks, and patterns
A general framework for formalizing UML with formal languages
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Designing Concurrent, Distributed, and Real-Time Applications with Uml
Designing Concurrent, Distributed, and Real-Time Applications with Uml
Software Engineering: A Project Oriented Approach
Software Engineering: A Project Oriented Approach
UML-Based Analysis of Embedded Systems Using a Mapping to VHDL
HASE '99 The 4th IEEE International Symposium on High-Assurance Systems Engineering
Requirements Patterns for Embedded Systems
RE '02 Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering
Automated Analysis of Timing Information in UML Diagrams
Proceedings of the 19th IEEE international conference on Automated software engineering
Enabling integrative analyses and refinement of object-oriented models with special emphasis on high-assurance embedded systems
ER'00 Proceedings of the 19th international conference on Conceptual modeling
A requirements patterns-driven approach to specify systems and check properties
SPIN'03 Proceedings of the 10th international conference on Model checking software
Real-time specification patterns
Proceedings of the 27th international conference on Software engineering
Assurance patterns for distributed real-time embedded systems
Proceedings of the 27th international conference on Software engineering
Model-driven Development of Complex Software: A Research Roadmap
FOSE '07 2007 Future of Software Engineering
Research Directions in Requirements Engineering
FOSE '07 2007 Future of Software Engineering
Applying Digital Evolution to the Development of Self-Adaptive ULS Systems
ULS '07 Proceedings of the International Workshop on Software Technologies for Ultra-Large-Scale Systems
Project based learning of embedded systems
CISST'08 Proceedings of the 2nd WSEAS International Conference on Circuits, Systems, Signal and Telecommunications
Expressing and organizing real-time specification patterns via temporal logics
Journal of Systems and Software
A pattern-based approach for modeling and analyzing error recovery
Architecting dependable systems IV
A visualization framework for the modeling and formal analysis of high assurance systems
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
A rule-based analysis method for cooperative business applications
GCC'05 Proceedings of the 4th international conference on Grid and Cooperative Computing
A security-focused engineering process for systems of embedded components
Proceedings of the International Workshop on Security and Dependability for Resource Constrained Embedded Systemss
Hi-index | 0.00 |
Some of the most challenging tasks in building a software system are capturing, refining, and analyzing requirements. How well these tasks are performed significantly impacts the quality of the developed software system. The difficulty of these tasks is greatly exacerbated for the software of embedded systems as these systems are commonly used for critical applications, have to operate reliably for long periods of time, and usually have a high degree of complexity. Current embedded systems software development practice, however, often deals with the (requirements) analysis phase in a superficial manner, instead emphasizing design and implementation. This research investigates how an approach similar to the well-known design patterns, termed object analysis patterns, can be applied in the analysis phase of embedded systems development, prior to design and coding. Specifically, our research explores how object-oriented modeling notations, such as the Unified Modeling Language (UML), can be used to represent structural and behavioral information as part of commonly occurring object analysis patterns. This work also investigates how UML--based conceptual models of embedded systems, based on the diagram templates in the object analysis patterns, can be automatically analyzed using the Spin model checker for adherence to properties specified in linear-time temporal logic (LTL) using a previously developed UML formalization framework. We have applied these patterns to several embedded systems applications obtained from the automotive industry. This paper describes one of our case studies and illustrates how our approach facilitates the construction of UML-based conceptual models of embedded systems and the analysis of these models for adherence to functional requirements.