Showing 1–5 of 5 results for author: Philipps, J

Model-Based Safety-Cases for Software-Intensive Systems

Authors: Peter Braun, Jan Philipps, Bernhard Schätz, Stefan Wagner

Abstract: 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 sketches an ideal model-based safety case with defect hypotheses and failure characterisations. From this, open research issues are derived. 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 sketches an ideal model-based safety case with defect hypotheses and failure characterisations. From this, open research issues are derived. △ Less

Submitted 13 June, 2018; originally announced June 2018.

Comments: 7 pages, 2 figures

Journal ref: Electronic Notes in Theoretical Computer Science, Volume 238, Issue 4, 28 September 2009, Pages 71-77

Should I Stay or Should I Go? On Forces that Drive and Prevent MBSE Adoption in the Embedded Systems Industry

Authors: Andreas Vogelsang, Tiago Amorim, Florian Pudlitz, Peter Gersing, Jan Philipps

Abstract: [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 systems. Although many practitioners agree with the arguments on the potential benefits of the techniques, companies struggle with the adoption of MBSE. [Goal] In this paper, we investigate the forces that prevent or impede… ▽ More [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 systems. Although many practitioners agree with the arguments on the potential benefits of the techniques, companies struggle with the adoption of MBSE. [Goal] In this paper, we investigate the forces that prevent or impede the adoption of MBSE in companies that develop embedded software systems. We contrast the hindering forces with issues and challenges that drive these companies towards introducing MBSE. [Method] Our results are based on 20 interviews with experts from 10 companies. Through exploratory research, we analyze the results by means of thematic coding. [Results] Forces that prevent MBSE adoption mainly relate to immature tooling, uncertainty about the return-on-investment, and fears on migrating existing data and processes. On the other hand, MBSE adoption also has strong drivers and participants have high expectations mainly with respect to managing complexity, adhering to new regulations, and reducing costs. [Conclusions] We conclude that bad experiences and frustration about MBSE adoption originate from false or too high expectations. Nevertheless, companies should not underestimate the necessary efforts for convincing employees and addressing their anxiety. △ Less

Submitted 1 September, 2017; originally announced September 2017.

Refinement of Pipe-and-Filter Architectures

Authors: Jan Philipps, Bernhard Rumpe

Abstract: Software and hardware architectures are prone to modifications. We demonstrate how a mathematically founded powerful refinement calculus for a class of architectures, namely pipe and filter architectures, can be used to modify a system in a provably correct way. The calculus consists of basic rules to add and to remove filters (components) and pipes (channels) to a system. A networking example dem… ▽ More Software and hardware architectures are prone to modifications. We demonstrate how a mathematically founded powerful refinement calculus for a class of architectures, namely pipe and filter architectures, can be used to modify a system in a provably correct way. The calculus consists of basic rules to add and to remove filters (components) and pipes (channels) to a system. A networking example demonstrates some of the features of our calculus. The calculus is simple, flexible and compositional. Thus it allows us to build more complex and specific rules that e.g. embed models of existing architectures or define design patterns as transformation rules. △ Less

Submitted 10 November, 2014; originally announced November 2014.

Comments: 20 pages, 4 figures; FM'99 - Formal Methods, Proceedings of the World Congress on Formal Methods in the Development of Computing System. LNCS 1708, pages 96-115 J. M. Wing, J. Woodcock, J. Davies (eds.) Springer, 1999

Stepwise Refinement of Data Flow Architectures

Authors: Jan Philipps, Bernhard Rumpe

Abstract: This paper aims at integrating heterogeneous documents used in pragmatic software develpoment methods to describe views with a formal refinement based software development process. Therefore we propose an integrated semantics of heterogeneous documents based on a common system model and a set of syntactic development steps with a welldefined semantics for document evolution. The use of the develop… ▽ More This paper aims at integrating heterogeneous documents used in pragmatic software develpoment methods to describe views with a formal refinement based software development process. Therefore we propose an integrated semantics of heterogeneous documents based on a common system model and a set of syntactic development steps with a welldefined semantics for document evolution. The use of the development steps is demonstrated in a small example. △ Less

Submitted 25 September, 2014; originally announced September 2014.

Comments: 18 pages, 1 figure. arXiv admin note: substantial text overlap with arXiv:1409.6932

Report number: TUM-I9746

Journal ref: Software Architectures and Design Patterns in Business Applications Technische Universität München, TUM-I9746. 1997

Refinement of Information Flow Architectures

Authors: Jan Philipps, Bernhard Rumpe

Abstract: 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 between input and output communication histories, and describe system architectures using two views: the glass box view is a network of basic components, while the black box view regards the network itself as a component. Th… ▽ More 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 between input and output communication histories, and describe system architectures using two views: the glass box view is a network of basic components, while the black box view regards the network itself as a component. This allows us to hierarchically compose systems. The calculus consists of basic rules to add or remove components and channels, and to replace components by subnetworks and vice versa. The correctness of the rules is justified by the refinement relation on the black box view of architectures. △ Less

Submitted 24 September, 2014; originally announced September 2014.

Comments: 10 pages, 2 figures

Journal ref: ICFEM'97 Proceedings, Hiroshima. Japan., M. Hinchey, IEEE CS Press. 1997