Journal ArticleDOI
Object analysis patterns for embedded systems
Reads0
Chats0
TLDR
This research investigates how an approach similar to the well-known design patterns can be applied in the analysis phase of embedded systems development, prior to design and coding, and explores how object-oriented modeling notations can be used to represent structural and behavioral information as part of commonly occurring object analysis patterns.Abstract:
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.read more
Citations
More filters
Proceedings ArticleDOI
Model-driven Development of Complex Software: A Research Roadmap
TL;DR: Model-Driven Engineering (MDE) is typically used to describe software development approaches in which abstract models of software systems are created and systematically transformed to concrete implementations as discussed by the authors, but full realizations of the MDE vision may not be possible in the near to medium-term primarily because of the wicked problems involved.
Proceedings ArticleDOI
Research Directions in Requirements Engineering
TL;DR: Current requirements engineering (RE) research is reviewed and future research directions suggested by emerging software needs are identified, which aim to address RE needs for emerging systems of the future.
Proceedings ArticleDOI
Real-time specification patterns
Sascha Konrad,Betty H. C. Cheng +1 more
TL;DR: A structured English grammar is offered as a means to further facilitate the understanding of the meaning of a specification, and the use of the real-time specification patterns in the context of property specifications of a real-world automotive embedded system.
Dissertation
Design patterns for safety-critical embedded systems
Ashraf Armoush,Stefan Kowalewski +1 more
TL;DR: In this article, a set of hardware and software design patterns for safety-critical embedded application design methods is presented, including a decision support component that supports the decision process of choosing a suitable pattern for a particular problem based on the available resources and the requirements of applicable patterns.
Proceedings ArticleDOI
Facilitating the construction of specification pattern-based properties
Sascha Konrad,Betty H. C. Cheng +1 more
TL;DR: This paper introduces a stepwise process for deriving and instantiating system properties in terms of their natural language representations, and describes SPIDER, a prototype implementation of a tool suite supporting this specification process.
References
More filters
Book
Design Patterns: Elements of Reusable Object-Oriented Software
TL;DR: The book is an introduction to the idea of design patterns in software engineering, and a catalog of twenty-three common patterns, which most experienced OOP designers will find out they've known about patterns all along.
Book
The Unified Modeling Language User Guide
TL;DR: In The Unified Modeling Language User Guide, the original developers of the UML provide a tutorial to the core aspects of the language in a two-color format designed to facilitate learning.
Journal ArticleDOI
The model checker SPIN
TL;DR: An overview of the design and structure of the verifier, its theoretical foundation, and an overview of significant practical applications are given.
Book
The unified software development process
TL;DR: This book provides a comprehensive guide to The Objectory Software Development Process derived from the three market leading OOA&D methods: Booch, OOSE (Use-Case), and OMT.