Integrierte Entwicklung von Automotive-Software mit AutoFocus

Bauer, Andreas; Romberg, Jan; Schätz, Bernhard

doi:10.1007/s00450-005-0187-7

Cited by 6 publications

(2 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Huber et al [10] and Bauer et al [11] developed a concept and implemented a prototypical tool for the specification of real-time software systems on different abstraction levels (AutoFOCUS) and evaluated it in automotive applications. They developed a graphical notation, i.e.…”

Section: State Of the Artmentioning

confidence: 99%

Modeling network architecture and time behavior of Distributed Control Systems in industrial plant automation

Vogel‐Heuser

Feldmann

Werner

et al. 2011

IECON 2011 - 37th Annual Conference of the IEEE Industrial Electronics Society

View full text Add to dashboard Cite

In terms of fulfilling the customers' needs, Distributed Control Systems (DCS) have gained increasing significance for automation engineering over the past years. The advantages of DCS, e.g. enhanced dependability, flexibility and configurability, overcome various shortcomings of centralized control systems. However, engineering of heterogeneous networks lacks a modeling notation for automation and engineers and a tool support to calculate the time behavior. A notation for an intuitive and supplier independent specification of distributed automation systems is described, providing the opportunity to model real-time requirements and properties and to allow the comparison of different architectures regarding time behavior.

show abstract

Section: State Of the Artmentioning

confidence: 99%

Modeling network architecture and time behavior of Distributed Control Systems in industrial plant automation

Vogel‐Heuser

Feldmann

Werner

et al. 2011

IECON 2011 - 37th Annual Conference of the IEEE Industrial Electronics Society

View full text Add to dashboard Cite

show abstract

“…Synchronous systems are usually developed in dedicated languages such as Esterel (Berry [1999]), Lustre (Halbwachs et al [1991]), or even visually-based ones as realised, e. g., by AutoFocus (cf. Huber et al [1996], Broy et al [1999], Bauer et al [2005]). Auto-Focus in turn is formally based upon a discretely timed, synchronous subset of the more general Focus framework as described by Broy and Stølen [2001].…”

Section: A Brief History Of Runtime Verificationmentioning

confidence: 99%

Model-based runtime analysis of distributed reactive systems

Bauer¹,

Leucker²,

Schallhart³

2006

Australian Software Engineering Conference (ASWEC'06)

View full text Add to dashboard Cite

As interactions and dependencies within distributed reactive systems increase, the problem of detecting failures which depend on the exact situation and environmental conditions they occur in grows. As a result, not only the detection of failures is increasingly difficult, but also the differentiation between the symptoms of a fault, and the actual fault itself, i. e., the cause of a failure. This thesis proposes an efficient approach for the analysis of distributed reactive systems at runtime. It introduces a framework, referred to as monitoring-based runtime reflection framework, for the detection of failures as well as identification of their causes. As an interface to the framework, this thesis proposes a specification language, Salt, to express desired system properties, which then have to hold at all times while a system executes. Detection of failures in the framework is based upon monitoring systems with respect to their associated properties, defined in the high-level specification language Salt. Salt specifications are translatable into the real-time temporal logic TLTL as well as in the untimed temporal logic LTL, and as such can also be used with other temporal logic verification frameworks, such as model checkers. For both logics, an efficient monitor generation procedure is developed for either monitoring qualitative assertions about a system's behaviour in the untimed case, or quantitative assertions reflecting dense real-time constraints. In order to reflect the semantics of LTL, respectively TLTL, with respect to a finite observational trace in a suitable and unambiguous manner, a 3-valued interpretation is proposed. The corresponding 3-valued monitoring procedure is shown to be optimal with respect to the space-complexity of the generated monitors, and able to detect all minimal bad prefixes of non-conforming system behaviour. Based on the results of the monitors, a dedicated failure diagnosis is performed to identify possible explanations for an observed deviation. As such, diagnosis can either confirm that a monitor detected the root cause for a failure, or indicate that the fault is located elsewhere, and possibly outside the scope of the monitored system. In the runtime reflection framework, diagnosis is based upon the principles of first-order model-based diagnosis, but developed in the propositional domain. The propositional diagnosis problem is then shown to correspond to a deterministic implementation of a solution to the #SAT problem for which a computationally efficient realisation is introduced. This thesis develops both the theoretical foundations for runtime reflection as well as efficient means for its implementation. v vi vii viii Chronology Much of §3 is based upon material developed by Bauer et al. [2006c], and subsequently published at the Eigth International Conference on Formal Engineering Methods (ICFEM, see Bauer et al. [2006d]). The approach to runtime verification described in §4 is based upon results developed first by Arafat et al. [2005], and subsequently published at ...

show abstract

Abstraction and Refinement in Hierarchically Decomposable and Underspecified CPS-Architectures

Rumpe

Wortmann

2018

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Integrierte Entwicklung von Automotive-Software mit AutoFocus

Cited by 6 publications

References 6 publications

Modeling network architecture and time behavior of Distributed Control Systems in industrial plant automation

Modeling network architecture and time behavior of Distributed Control Systems in industrial plant automation

Model-based runtime analysis of distributed reactive systems

Abstraction and Refinement in Hierarchically Decomposable and Underspecified CPS-Architectures

Contact Info

Product

Resources

About