Automated Scenario-Based Evaluation of Embedded Software and System Architectures

Architecture scenarios are widely used to systematize the elicitation of architecture significant requirements and to evaluate the appropriateness of architecture decisions. Due to the lack of tool support, architects perform this evaluation manually whenever an architecture changes. In this paper, we present a scenario modeling, and evaluation approach for embedded systems that enables automated evaluation of architecture concepts with respect to scenarios. Our approach utilizes function nets contained in candidate architectures to derive main event chains of the system under development. Architecture scenarios are executed on these function nets. A novel scenario modeling approach is used to enable execution on function nets that neither provides a detailed design nor an implementation for functions. We discuss the applicability of our approach in context of the design of a control system for an aluminum cold-rolling mill. This discussion covers both functional and non-functional requirements formulated as architecture scenarios.

[1]  Leonard J. Bass,et al.  Scenario-Based Analysis of Software Architecture , 1996, IEEE Softw..

[2]  Thomas Kuhn,et al.  Embedded-Software Architects: It's Not Only about the Software , 2016, IEEE Software.

[3]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[4]  Mark Klein,et al.  Applicability of General Scenarios to the Architecture Tradeoff Analysis Method , 2001 .

[5]  Peter Liggesmeyer,et al.  Trends in Embedded Software Engineering , 2009, IEEE Software.

[6]  Manfred Broy,et al.  Model-Based Engineering of Embedded Systems: The SPES 2020 Methodology , 2012 .

[7]  Thorsten Keuler,et al.  A Non-invasive Approach to Trace Architecture Design, Requirements Specification and Agile Artifacts , 2014, 2014 23rd Australian Software Engineering Conference.

[8]  Thomas Kuhn,et al.  FERAL — Framework for simulator coupling on requirements and architecture level , 2013, 2013 Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2013).

[9]  Manfred Broy,et al.  Model-Based Engineering of Embedded Systems , 2012, Springer Berlin Heidelberg.

[10]  Eoin Woods,et al.  Software Systems Architecture: Working with Stakeholders Using Viewpoints and Perspectives , 2005 .

[11]  Jens Knodel,et al.  Pragmatic Evaluation of Software Architectures , 2016, The Fraunhofer IESE Series on Software and Systems Engineering.

[12]  Andreas Junghanns,et al.  The Functional Mockup Interface for Tool independent Exchange of Simulation Models , 2011 .