22 citations · 50 across the 5 of their papers we have counts for
5 papers · 1 filter
Model-Based Safety-Cases for Software-Intensive Systems
Peter Braun, Jan Philipps, Bernhard Schätz +1
Safety cases become increasingly important for software certification. Models play a crucial role in building and combining information for the safety case. This position paper ske…
Should I Stay or Should I Go? On Forces that Drive and Prevent MBSE Adoption in the Embedded Systems Industry
Andreas Vogelsang, Tiago Amorim, Florian Pudlitz +2
[Context] Model-based Systems Engineering (MBSE) comprises a set of models and techniques that is often suggested as solution to cope with the challenges of engineering complex sys…
Refinement of Pipe-and-Filter Architectures
Jan Philipps, Bernhard Rumpe
Software and hardware architectures are prone to modifications. We demonstrate how a mathematically founded powerful refinement calculus for a class of architectures, namely pipe a…
Stepwise Refinement of Data Flow Architectures
Jan Philipps, Bernhard Rumpe
This paper aims at integrating heterogeneous documents used in pragmatic software develpoment methods to describe views with a formal refinement based software development process.…
Refinement of Information Flow Architectures
Jan Philipps, Bernhard Rumpe
A calculus is presented for the stepwise refinement of abstract information flow architectures. We give a mathematical model for information flow components based on relations betw…