Quantitative evaluation of dependability critical systems based on guarded Statechart models

Cin, Mario Dal; Huszerl, Gabör; Kosmidis, Konstantinos

doi:10.1109/hase.1999.809473

Cited by 8 publications

(4 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…• SC2Promela mapping UML statecharts to Promela for functional behavior analysis by model checking [94]; • SCComplete completeness analysis of UML statecharts using Viatra1 and Prolog [105] • UML2DFN mapping UML component diagrams to dataflow networks for fault modeling and fault propagation analysis [29]; • SC2SPN mapping UML statecharts to stochastic Petri nets for reliability analysis [41].…”

Section: Application In Projectsmentioning

confidence: 99%

Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework

Varró

Bergmann

Hegedüs³

et al. 2016

Softw Syst Model

View full text Add to dashboard Cite

The current release of VIATRA provides opensource tool support for an event-driven, reactive model transformation engine built on top of highly scalable incremental graph queries for models with millions of elements and advanced features such as rule-based design space exploration complex event processing or model obfuscation. However, the history of the VIATRA model transformation framework dates back to over 16 years. Starting as an early academic research prototype as part of the M.Sc project of the the first author it first evolved into a Prolog-based engine followed by a family of open-source projects which by now matured into a component integrated into various industrial and open-source tools and deployed over multiple technologies. This invited paper briefly overviews the evolution of the VIATRA/IncQuery family by highlighting key features and illustrating main transformation concepts along an open case study influenced by an industrial project. Software tools in systems engineeringModel-driven engineering (MDE) plays an important role in the design of critical embedded and cyber-physical systems in various application domains such as automotive, avionics or telecommunication. MDE tools aim to simultaneously improve quality and decrease costs by early validation by highlighting conceptual design flaws well before traditional testing phases in accordance with the correct-by-construction principle. Furthermore, they improve productivity of engineers by automatically synthesizing different design artifacts (source code, configuration tables, test cases, fault trees, etc.) necessitated by certification standards (like DO-178C [117], DO-330 [116] or ISO 26262[78]).Certain shares in the software tool market of systems engineering are dominated by very few industrial tools (e.g., MATLAB Simulink, Dymola, DOORS, MagicDraw) each of which typically provides advanced support for certain development stages (requirements engineering, simulation, allocation, test generation, etc). To protect their intellectual property rights, these tools are of closed nature, which implies huge tool integration costs for system integrators (such as airframers or car manufacturers). On the other hand, recent initiatives (such as PolarSys, OpenModelica) have started to promote open language standards and the systematic use of open-source software components in tools for critical systems to reduce licensing costs and risks of vendor lock-in.Certification standards of critical cyber-physical systems require that software tools used for developing such critical system are validated with the same scrutiny as the system under design by software tool qualification [87,116], especially, when no further human checking is carried out on the outputs of such tools. Software tool qualification distinguishes between design tools which, by definition, may 123

show abstract

Section: Application In Projectsmentioning

confidence: 99%

Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework

Varró

Bergmann

Hegedüs³

et al. 2016

Softw Syst Model

View full text Add to dashboard Cite

show abstract

“…GSC models are well suited for modeling of embedded systems where synchronization among components can be described solely by Boolean predicates on the active states of concurrent components [6]. This kind of modeling can be considered as a higherlevel, behavioral view of the system.…”

Section: Uml Statechart Models Of Dependable Systems 261mentioning

confidence: 99%

“…The size of the state space of the full statechart model increases if a FIFO dispatching policy is selected; the increase depends heavily on the length of the queue. Various performance and dependability results were computed by PANDA [6]. For example, computing the utilization of the repairman as a function of the elapsed time shows that the utilization increases to 0.15.…”

Section: Application Of the Transformationmentioning

confidence: 99%

See 1 more Smart Citation

Quantitative Analysis of UML Statechart Models of Dependable Systems

Huszerl

Majzik²,

Pataricza³

et al. 2002

The Computer Journal

Self Cite

View full text Add to dashboard Cite

The paper introduces a method which allows quantitative dependability analysis of systems modeled by using the Unified Modeling Language (UML) statechart diagrams. The analysis is performed by transforming the UML model to stochastic reward nets (SRNs). A large subset of statechart model elements is supported including event processing, state hierarchy and transition priorities. The transformation is presented by a set of SRN patterns. Performance-related measures can be directly derived using SRN tools, while dependability analysis requires explicit modeling of erroneous states and faulty behavior.

show abstract

Formal Techniques in Real-Time and Fault-Tolerant Systems

2002

Lecture Notes in Computer Science

View full text Add to dashboard Cite

show abstract

Quantitative evaluation of dependability critical systems based on guarded Statechart models

Cited by 8 publications

References 13 publications

Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework

Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework

Quantitative Analysis of UML Statechart Models of Dependable Systems

Formal Techniques in Real-Time and Fault-Tolerant Systems

Contact Info

Product

Resources

About