Fsysml: Foundational Executable Sysml for Cyber- Physical System Modeling

Fsysml: Foundational Executable Sysml for Cyber- Physical System Modeling

fSysML: Foundational Executable SysML for Cyber- Physical System Modeling Omar Badreddin1, Vahdat Abdelzad2, Timothy C. Lethbridge3, Maged Elaasar4 1 University of Texas, El Paso El Paso, Texas, U.S.A [email protected] 2 EECS, University of Ottawa, Ottawa, Ontario, Canada [email protected] 3 EECS, University of Ottawa, Ottawa, Ontario, Canada [email protected] 4Modelware Solutions, La Canada Flintridge, CA 91011, USA [email protected] Abstract. System engineers are heavy users of modeling and design languages such as SysML. These design languages enable them to design, refine, verify, and test systems early in development. On the other hand, and especially with the emergence of agile methodologies, design and development activities in software engineering are intermingled and performed in iterations. Modern sys- tems, however, exhibit increasing interdependence between software and physi- cal components. Hence, there is a growing need to develop design languages that can bridge the gap between system and software engineering communities. This paper proposes fSysML, a foundational and executable subset of SysML geared towards facilitating the development of modern Cyber-Physical Sys- tems. fSysML defines both a surface syntax for a SysML subset, and an execut- able semantics that is directly mapped to a modern object-oriented language. fSysML is demonstrated by the development of a self-adaptive system from the healthcare domain. Keywords: SysML · UML · Cyber-Physical Systems · Self-Adaptive Systems · Textual Language. 1 Introduction Cyber-Physical Systems (CPS) are integrations of computation, networking, and physical processes [1]. Software and networks monitor and control the physical pro- cesses, with feedback loops where physical processes affect computations and vice versa [2]. One of the key characteristics of such systems is their close integration and interdependence of both software and hardware components. Software and hardware components are typically developed following different development processes and methodologies. One key distinction is propensity to change. In the software world, change is embraced and can influence many aspects of development. While in the physical world, it is costly and cannot be accommodated without significant cost. As a result, software and systems engineers have different perspectives regarding design and development activities. System engineers adopt modeling and design whole-heartedly, and do not typically require modeling languages to be executable. In fact, execution for a systems engineer often refers to execution of a simulation or model-based testing. System engineers rely on precise and elaborate models to test and verify systems before the commencement of development activity. Moreover, design models are the gold standard against which any development artifact needs to be tested. Software engineers, on the other hand, utilize more integrated approaches and work iteratively and incrementally. Modern agile software development processes encourage the delivery of an executable artifact at every iteration. These partially complete software systems are used to discover additional requirements, and feed into planning, scheduling and staffing management. With the emergence of CPSs, there is an emerging need for platform and design languages that can accommodate both system and software development processes. In this paper, we address this emerging need by introducing fSysML; foundational SysML for CPSs. fSysML defines a textual surface language for a subset of SysML and integrates this subset with an executable subset of UML. The result is a language that can define many aspects of CPS properties, including Blocks, Requirements, Goals, Users, Use Cases, as well as behavioral and compositional aspects. We demonstrate fSysML using the design of a self-adaptive system from the healthcare domain. Self-adaptive systems demonstrate further interdependencies between both software and physical components, making it ideal for the demonstration of fSysML. This paper is organized as follows. We introduce the motivation and significance of this research in Section 2. A background on self-adaptive systems, system model- ing and MDE is introduced in Section 3. Section 4 introduces a running example fol- lowed by detailed explanation of fSysML in Section 5. The language grammar and related work are covered in Section 6 and 7 respectively. Finally, we conclude with a discussion of future work and conclusion. 2 Motivation and Significance The authors of this paper are actively collaborating with a national aerospace agency and are investigating a roadmap for adoption of Model Driven Engineering (MDE) paradigm. From early stages of the investigation, the researchers observed a signifi- cant discrepancy between system and software engineers. The bulk of the develop- ment effort in the system engineering side is closely related to development of various types of design models. Key approvals, certifications, and testing are performed against system models. Software is treated as a black-box component with elaborate behavioral specification. The software engineers use design models sparingly and typically target development of an executable artifact. Systems engineers reported on their need for a textual syntax, equivalent to the visual representation, of their SysML models. The rationale is that text can be ver- sioned and merged more effectively along with the software artifacts. Furthermore, it maybe easier to manipulate and layout textual artifacts than visual models, particular- ly as models become large and complex. More importantly, such a textual language will facilitate collaboration and integration between system and software engineers. This observation has motivated the research presented in this paper; namely, the de- velopment of a textual SysML language that can enable effective collaboration be- tween both software and system engineers. 2.1 Significance There is a recognized conflict between MDE and agile methodologies [12]. MDE promotes upfront designs, where models become the key development artifacts. Ag- ile, on the other hand, promotes shorter development cycles by focusing on delivering executable partial systems. This conflict becomes even more prominent in the devel- opment of CPSs. Solving this conflict has the potential to significantly improve the development practices of CPSs. More importantly, it can help resolve a long-standing challenge in the software engineering community; namely, the limited adoption of MDE practices [13]. There is significant evidence that software engineers do not in fact adopt UML and modeling as much as desired [1, 6]. Studies of software engineers in the wild suggest multitude of limitations with MDE methodologies including: 1) challenges with ver- sioning and merging of models [5] 2) limitations with model inter-changeability and portability [6] 3) inadequacy of MDE in development of small systems [7], 4) lack of adequate support for model based collaboration [8]. 3 Background In this section, we introduce background on system and software modeling, and self- Adaptive systems. 3.1 Model Driven Software Engineering The Object Management Group (OMG) has adopted a vision where models become the key development artifacts, from which executable elements can be generated. The premise includes improved productivity and quality of software systems. UML has emerged as the de facto modeling notation in software engineering and has been well evaluated academically. Since UML is a general-purpose modeling notation, not all of its elements have well-defined execution semantics. This has resulted in numerous challenges for the development of precise models. As a result, OMG has defined a subset of UML with defined semantics called Foundational UML (fUML) [9]. Action Language for Foun- dational UML (ALF) is an executable language that defines actions for fUML [10]. ALF has been designed to look like modern object-oriented languages to facilitate adoption by software engineers. fUML and ALF’s emergence has in part informed and influenced the development of fSysML. 3.2 System Modeling The landscape of system modeling is more complex. System engineers use a wider variety of modeling notations and design languages. System designs are used not only to test and verify the system, but also to derive the cost and schedule associated with its development. In this paper, we use SysML as the representative system design language, but the approach proposed in this paper can be applicable beyond SysML. SysML borrows many notations from UML; this includes use case modeling, struc- tural modeling, and behavioral modeling using a variant of UML state machines. SysML adds additional design notation to model requirements, blocks and compo- nents, and system parameters. 3.3 Self-Adaptive Systems Self–adaptive systems have the unique property of dynamically adapting to changes in environment, operating context, or changes in system goals or priorities [18]. Self- adaptation strategies are typically implemented at the architecture level by identifying adaptation strategies and mechanisms for dynamic applications of such strategies at run time [17]. Whether a specific strategy is effective or not is typically measured by measuring the quantified outcome or performance of the entire system. Such quantita- tive evaluation is typically performed at runtime [19]. Self-adaptation is realized by identifying and implementing a number of adaptation strategies or tactics. Tactics

View Full Text

Details

  • File Type
    pdf
  • Upload Time
    -
  • Content Languages
    English
  • Upload User
    Anonymous/Not logged-in
  • File Pages
    14 Page
  • File Size
    -

Download

Channel Download Status
Express Download Enable

Copyright

We respect the copyrights and intellectual property rights of all users. All uploaded documents are either original works of the uploader or authorized works of the rightful owners.

  • Not to be reproduced or distributed without explicit permission.
  • Not used for commercial purposes outside of approved use cases.
  • Not used to infringe on the rights of the original creators.
  • If you believe any content infringes your copyright, please contact us immediately.

Support

For help with questions, suggestions, or problems, please contact us