A petri net pattern-oriented approach for the design of physical protection systems

F Flammini, U Gentile, S Marrone, R Nardone… - … Safety, Reliability, and …, 2014 - Springer
The design of complex Physical Protection Systems (PPSs) still raises some challenges
despite the high number of technologies for smart surveillance. One reason is the lack of …

SAML goes eclipse—Combining model-based safety analysis and high-level editor support

M Lipaczewski, S Struck… - 2012 Second International …, 2012 - ieeexplore.ieee.org
Software-intensive systems become more and more important in safety critical applications,
mainly because of the rising number and complexity of embedded system. Many traditional …

Automatic architecture hardening using safety patterns

K Delmas, R Delmas, C Pagetti - … Delft, The Netherlands, September 23-25 …, 2015 - Springer
Safety critical systems or applications must satisfy safety requirements ensuring that
catastrophic consequences of combined component failures are avoided or kept below a …

[PDF][PDF] Design time and run time formal safety analysis using executable models

A Habermaier - 2017 - opus.bibliothek.uni-augsburg.de
Safety-critical systems can be negatively affected by faults such as component failures or
environmental disturbances. One or more occurrences of such faults might lead to hazards …

Unifying Probabilistic and Traditional Formal Model Based Analysis

M Güdemann, M Lipaczewski, S Struck… - 8. Dagstuhl-Workshop …, 2012 - inria.hal.science
The increasing complexity of modern software-intensive systems makes their analysis much
more difficult. At the same time, more and more of these systems are used in safety-critical …

Multi-objective optimization for safety and reliability trade-off: Optimization and results processing

C Johansson, J Ölvander… - Proceedings of the …, 2018 - journals.sagepub.com
In early design phases, it is vital to be able to screen the design space for a set of promising
design alternatives for further study. This article presents a method able to balance several …

Automatic Design Space Exploration of Fault-tolerant Embedded Systems Architectures

A Tierno - 2023 - iris.unitn.it
Embedded Systems may have competing design objectives, such as to maximize the
reliability, increase the functional safety, minimize the product cost, and minimize the energy …

Teaching and training formal methods for safety critical systems

M Lipaczewski, F Ortmeier - 2013 39th Euromicro Conference …, 2013 - ieeexplore.ieee.org
Embedded systems become a major part in many domains. This also involves systems
which might create heavy damages and injuries when they fail. However, because of the …

Tool supported model-based safety analysis and optimization

M Gudemann, M Lipaczewski… - 2011 IEEE 17th Pacific …, 2011 - ieeexplore.ieee.org
Although model-based approaches can yield very precises safety analysis, they are rarely
used in practice. The reason is, that most techniques are very difficult to apply and almost …

Multi-objective optimization of formal specifications

S Struck, M Lipaczewski, F Ortmeier… - 2012 IEEE 14th …, 2012 - ieeexplore.ieee.org
Even in the domain of safety critical systems, safety and reliability are not the only goals and
a developing engineer is faced with the problem to find good compromises wrt. other …