Revisiting the interoperation relationships between Systems Engineering collaborative processes

Abstract Systems Engineering (SE) best practices are currently guided by standardized processes which must be adapted by skill rules in order to specialize domain-dependent SE workflows as well as domain-independent standardized languages. This paper aims to revisit first the interdisciplinary relationships within a SE process as specification relationships between Problem Space (PS) and Solution Space (SS) across collaborative domains. This SE rationale is then applied on a Requirement Specification (RS) workflow formalized with high-level Petri nets and verified on a human-robot protection case-study.

[1]  Bashar Nuseibeh,et al.  Relating software requirements and architectures using problem frames , 2002, Proceedings IEEE Joint International Conference on Requirements Engineering.

[2]  Art Pyster,et al.  Systems Engineering Body of Knowledge and Its Integration with Software Engineering , 2011 .

[3]  Kazuko Takahashi,et al.  A Description and Reasoning of Plant Controllers in Temporal Logic , 1983, IJCAI.

[4]  Kathrin Berg,et al.  Tracing software product line variability: from problem to solution space , 2005 .

[5]  Jonathan P. Bowen,et al.  Formal Methods: State of the Art and New Directions , 2009 .

[6]  Lars Michael Kristensen,et al.  Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems , 2007, International Journal on Software Tools for Technology Transfer.

[7]  Jean-François Pétin,et al.  Formal Specification Method for Systems Automation , 2006, Eur. J. Control.

[8]  Dines Bjørner,et al.  From Domain to Requirements , 2008, Concurrency, Graphs and Models.

[9]  Michael Jackson,et al.  The meaning of requirements , 1997, Ann. Softw. Eng..

[10]  Erik Herzog,et al.  An approach to systems engineering tool data representation and exchange , 2004 .

[11]  Simon Perry,et al.  SysML for Systems Engineering , 2008 .

[12]  Arne Sølvberg,et al.  Domain Engineering , 2013, Springer Berlin Heidelberg.

[13]  Dines Bjørner,et al.  From Domains to Requirements On a Triptych of Software Development , 2009 .

[14]  Rob Leibrandt.  A Guide to the Systems Engineering Body of Knowledge (SEBoK) Introduction , 2002 .

[15]  Krzysztof Czarnecki,et al.  Generative programming - principles and techniques of software engineering based on automated configuration and fragment-based component models , 1999 .

[16]  Michael Jackson,et al.  A Reference Model for Requirements and Specifications , 2000, IEEE Softw..