Context: Safety is of paramount importance for cyber–physical systems in domains such as
automotive, robotics, and avionics. Formal methods such as model checking are one way to …

The increasing complexity of safety-critical systems and the shorter time-to-market requires a
high degree of automation during all development phases from requirements specification to …

Contract-based design (CBD) is an emerging paradigm for complex systems, specifying the
input-output behavior of a component by defining what the component guarantees, provided …

Considering programs as data enables powerful meta-programming. One example is Lisp's
macro system, which gives rise to powerful transformations of programs and allows easy …

This paper presents an example of a systematic approach based on domain-specific
languages to implement Function Blocks Modelling Environment (FBME): an integrated …

This chapter addresses the integration and orchestration of external analysis tools into
modelling environments. We first give a detailed overview of the considered context and …

Abstract The Goal Structuring Notation (GSN) is popular among safety engineers for
modeling assurance cases. GSN elements are specified using plain natural language text …

Appendix of the paper [.5em]``A Systematic Literature Review on Counterexample
Explanation'' Page 1 Appendix of the paper “A Systematic Literature Review on …

Manufacturing correct systems is one of the main priorities for a company. Producing faulty
systems is non-tolerable to top manufacturers because of the serious financial …

Why DSLs? A Collection of Anecdotes - InfoQ BT Toggle Navigation Facilitating the Spread of
Knowledge and Innovation in Professional Software Development English edition English …