Results 1 - 10
of
14
Object analysis patterns for embedded systems
- IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
, 2004
"... 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 embed ..."
Abstract
-
Cited by 15 (8 self)
- Add to MetaCart
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.
A Pattern for Adaptive Behavior in Safety-Critical, Real-Time Middleware
"... Abstract — Patterns are a valuable method for communicating software engineering expertise about proven solutions for common problems. This paper evaluates the use of domainindependent patterns in a case study of Etherware, a middleware for networked control with a real-time, safety-critical applica ..."
Abstract
-
Cited by 3 (1 self)
- Add to MetaCart
Abstract — Patterns are a valuable method for communicating software engineering expertise about proven solutions for common problems. This paper evaluates the use of domainindependent patterns in a case study of Etherware, a middleware for networked control with a real-time, safety-critical applications model. The case study illustrates the positive and negative impact that four existing patterns have on availability, reliability, and robustness for real-time, safety-critical systems. From the results of the case study, we present the Adaptive Control Filter, a design pattern for real-time, safety-critical middleware which can mitigate timing dependencies in networked control. I.
H.-G.Gross. Embedded System Construction - Evaluation of Model-Driven and Component-Based Development Approaches
- Proceedings of Workshops and Symposia at 11th Int. Conf. Model Driven Engineering Languages and Systems. LNCS 5421
, 2008
"... All in-text references underlined in blue are linked to publications on ResearchGate, letting you access and read them immediately. ..."
Abstract
-
Cited by 3 (2 self)
- Add to MetaCart
All in-text references underlined in blue are linked to publications on ResearchGate, letting you access and read them immediately.
Goal-oriented patterns for UML-based modeling of embedded systems requirements
, 2007
"... Embedded systems are used for critical applications that must adhere to safety constraints. Developers of these systems face four key challenges when attempting to apply existing requirements analysis approaches: (1) modeling the rationale for requirements; (2) modeling the required behavior; (3) i ..."
Abstract
-
Cited by 2 (2 self)
- Add to MetaCart
(Show Context)
Embedded systems are used for critical applications that must adhere to safety constraints. Developers of these systems face four key challenges when attempting to apply existing requirements analysis approaches: (1) modeling the rationale for requirements; (2) modeling the required behavior; (3) identifying system constraints; and (4) analyzing the requirements models for adherence to the constraints. To address these challenges, this paper introduces Cobra patterns, which provide UML and goal model templates that are instantiated in tandem to create models that capture system requirements and their constraints. The goal model template declaratively specifies the requirements of the embedded system and refines the requirements into constraints. The UML model template operationally specifies behavior that satisfies these requirements. Two types of consistency checks can be made between the two types of models. First, traceability techniques establish syntactic consistency. Second, formally analyzing the UML models for adherence to the constraints checks for behavioral consistency.
UPBOT: A Testbed for Cyber-Physical Systems
"... Developing software for cyber-physical systems presents a unique challenge. These systems are not simply software; they are composed of software running on a collection of machines that present a risk to human safety if anything goes wrong. Researchers want to create languages and tools that aid in ..."
Abstract
-
Cited by 2 (1 self)
- Add to MetaCart
(Show Context)
Developing software for cyber-physical systems presents a unique challenge. These systems are not simply software; they are composed of software running on a collection of machines that present a risk to human safety if anything goes wrong. Researchers want to create languages and tools that aid in the development of secure and fault-tolerant software, but they cannot simply “try out ” their ideas on a fighter jet. This paper describes our modest UPBOT testbed. Pronounced yoō-pē-bät, it has three features that aptly comprise a cyber-physical system: networked control, enforceable physical properties, and off-the-shelf components. We offer that UPBOT can be used to effectively test security threats and defenses against cyber-physical systems; it presents multiple points of attack on a programmable, component-based system whose on-board intelligence may maintain safety-critical properties despite malicious attack. Given its low cost and low barrier to entry it may be especially useful to: i) undergraduates interested in learning about the domain; ii) researchers who lack access to oft-unavailable real systems but want to evaluate their solutions for cyber-physical systems. 1
RT modeling with UML for safety critical applications: the HIDOORS project example
"... applications, RMA ..."
(Show Context)
Scenario-Based Evaluation of Abstract State Machines
"... Abstract. In this paper we suggest a scenario-based approach to analyzing non-functional properties of ASM ground models. It is based on well-founded evaluation methods from the software architecture field and enables a designer to reason about the quality features of his model, like e. g. maintaina ..."
Abstract
- Add to MetaCart
(Show Context)
Abstract. In this paper we suggest a scenario-based approach to analyzing non-functional properties of ASM ground models. It is based on well-founded evaluation methods from the software architecture field and enables a designer to reason about the quality features of his model, like e. g. maintainability or testability. A set of scenarios that represent a system’s non-functional requirements and the evaluation of these with an ASM model can enable an improvement of the system’s qualities by using according structuring principles. 1
the Modeling and Analysis of Embedded Systems ⋆
"... Abstract. Increasingly, object-oriented technology, specifically the Unified Modeling Language (UML), is being used to develop critical embedded systems. There have been several efforts to translate UML models into formal specification languages, thus enabling the models to be analyzed by model chec ..."
Abstract
- Add to MetaCart
(Show Context)
Abstract. Increasingly, object-oriented technology, specifically the Unified Modeling Language (UML), is being used to develop critical embedded systems. There have been several efforts to translate UML models into formal specification languages, thus enabling the models to be analyzed by model checkers. Unfortunately, the complexity and volume of the analysis results often prevents developers from fully taking advantage of the analysis capabilities. This paper introduces a generic visualization framework, Theseus, that provides developers with a model-based, visual interpretation of the analysis results in terms of the original UML diagrams. Within this framework, a playback mechanism displays the execution path that has led to a model checking violation in terms of the original UML state diagram and a newly generated sequence diagram that depicts the problem scenario. A Theseus prototype supporting the Spin and SMV model checkers has been applied to the analysis of UML models for embedded systems from industry. 1
