On the correctness of upper layers of automotive systems

Botaschanjan, Jewgenij; Broy, Manfred; Gruler, Alexander; Harhurin, Alexander; Knapp, Steffen; Kof, Leonid; Paul, Wolfgang J.; Spichkova, Maria

doi:10.1007/s00165-008-0097-0

Cited by 21 publications

(12 citation statements)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In such an approach it remains to be worked out how the introduced models are mapped onto programs that are executed in an infrastructure of the operating systems and middleware. For an example in this direction, see [10].…”

Section: Discussionmentioning

confidence: 97%

Model-driven architecture-centric engineering of (embedded) software intensive systems: modeling theories and architectural milestones

Broy

2006

Innovations Syst Softw Eng

Self Cite

View full text Add to dashboard Cite

Today, in general, embedded software is distributed onto networks and structured into logical components that interact asynchronously by exchanging messages. The software system is connected to sensors, actuators, human machine interfaces and networks. In this paper we study fundamental models of composed embedded software systems and their properties, identify and describe various basic views, and show how they are related. We consider, in particular, models of data, states, interfaces, functionality, hierarchically composed systems, and processes. We study relationships by abstraction and refinement as well as forms of composition and modularity. In particular, we introduce a comprehensive mathematical model and a corresponding mathematical theory for composed systems, its essential views and their relationships. We introduce two methodologically essential, complementary and orthogonal concepts for the structured modeling of multifunctional embedded systems in software and systems engineering and their scientific foundation. One approach addresses mainly tasks in requirements engineering and the specification of the comprehensive user functionality of multifunctional systems in terms of their functions, features and services. The other approach essentially addresses the design phase with its task to develop logical architectures formed by networks of interactive components that are specified by their interface behavior. M. Broy (B) MotivationDevelopment of software in general, and in particular of embedded software, is today one of the most complex but at the same time most effective tasks in the engineering of innovative applications. Software drives innovation in many application domains. Modern software systems are typically embedded in technical or organizational processes, distributed, dynamic, and accessed concurrently by a variety of independent user interfaces. Just by constructing appropriate software we can provide engineering solutions that can calculate results, communicate messages, control devices, and illustrate and animate all kinds of information.Making embedded systems and their development more accessible and reducing their complexity in terms of development, operation, and maintenance we use classical concepts from engineering, namely abstraction, the separation of issues, and appropriate ways of structuring software. Well-chosen models and their theories support such concepts. Also software development can be based on models of system behavior and, since well-chosen models are a successful way to understand software and hardware development, modeling is an essential and crucial issue in software construction (Fig. 1).In the development of large, complex software systems it is simply impossible to provide one comprehensive model for the system in only one step. Rather we:• Specify a system or subsystem first in terms of its functionality modeled by its interface, given in a structured way in terms of a function hierarchy • Add stepwise details by property refinement 76 M. Broy Fig. 1 Sche...

show abstract

Section: Discussionmentioning

confidence: 97%

Model-driven architecture-centric engineering of (embedded) software intensive systems: modeling theories and architectural milestones

Broy

2006

Innovations Syst Softw Eng

Self Cite

View full text Add to dashboard Cite

show abstract

“…Modeling real-time components has been decomposed into behaviors, their interactions, and priorities on them; reasoning can then occur layer by layer [9], [98]. In general, such approaches allow the verification of all system layers from the correctness proof of the lower layers (i.e., gate-level) to the verification procedure for distributed applications; such an approach has been used to verify automotive systems, a key exemplar of CPS [15]. The practicality and costs of development associated with these approaches are still unknown.…”

Section: Model-based Approachesmentioning

confidence: 99%

Perceptions on the State of the Art in Verification and Validation in Cyber-Physical Systems

Zheng

Julien

Kim

et al. 2017

IEEE Systems Journal

View full text Add to dashboard Cite

It is widely held that debugging cyber-physical systems (CPS) is challenging; many strongly held beliefs exist regarding how CPS are currently debugged and tested and the suitability of various techniques. For instance, dissenting opinions exist as to whether formal methods (including static analysis, theorem proving, and model checking) are appropriate in CPS verification and validation. Simulation tools and simulation-based testing are also often considered insufficient for CPS. Many "experts" posit that high-level programming languages (e.g., Java or C#) are not applicable to CPS due to their inability to address (significant) resource constraints at a high level of abstraction. To date, empirical studies investigating these questions have not been done. In this paper, we qualitatively and quantitatively analyze why debugging CPS remains challenging and either dispel or confirm these strongly held beliefs along the way. Specifically, we report on a structured online survey of 25 CPS researchers (10 participants classified themselves as CPS developers), semistructured interviews with nine practitioners across four continents, and a qualitative literature review. We report these results and discuss several implications for research and practice related to CPS.

show abstract

“…This direction has been touched for the first time by Botaschanjan et al (2008) though only for upper layer of automotive systems and focused on later verification phases. The first steps towards a methodology for development of verified embedded system have been done in (Botaschanjan et al, 2005;Botaschanjan et al, 2006).…”

Section: Semi-automatic Formal Verificationmentioning

confidence: 99%

Formal-Based Framework for Analysis of Logical Architecture

Spichkova¹,

Schmidt²

2015

STSC

Self Cite

View full text Add to dashboard Cite

This paper presents a formal framework for modeling and analysis of data and control flow dependencies between components or services within remotely deployed distributed systems. This work aims at elaborating for a concrete system, which parts of the system (or system model) are necessary to check a given property. The approach allows services and components decomposition oriented towards efficient checking of system properties as well as analysis of dependencies within a system: after analysis of the logical architecture of the system, an optimized architecture is developed following the specified algorithm. One of the key features of this approach is a semi-automatic support of the presented ideas on verification level.

show abstract

On the correctness of upper layers of automotive systems

Cited by 21 publications

References 18 publications

Model-driven architecture-centric engineering of (embedded) software intensive systems: modeling theories and architectural milestones

Model-driven architecture-centric engineering of (embedded) software intensive systems: modeling theories and architectural milestones

Perceptions on the State of the Art in Verification and Validation in Cyber-Physical Systems

Formal-Based Framework for Analysis of Logical Architecture

Contact Info

Product

Resources

About