Flex‐eWare: a flexible model driven solution for designing and implementing embedded distributed systems

Jan, Mathieu; Jouvray, Christophe; Kordon, Fabrice; Kung, Antonio; Lalande, Jimmy; Loiret, Frédéric; Navas, Juan F.; Pautet, Laurent; Pulou, Jacques; Radermacher, Ansgar; Seinturier, Lionel

doi:10.1002/spe.1143

Cited by 10 publications

(6 citation statements)

References 22 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…They also provide a means for exploration of different design alternatives. The Flex‐eWare model is a general purpose component model for distributed embedded systems that aims to unify model driven and component‐based software engineering across many different application domains. This is achieved by integrating generic elements in its metamodel that are instantiated by model libraries.…”

Section: Discussionmentioning

confidence: 99%

Model‐based design of IoT systems with the BIP component framework

et al. 2018

View full text Add to dashboard Cite

The design of software for networked systems with nodes running an Internet of things operating system faces important challenges due to the heterogeneity of interacting things and the constraints stemming from the often limited amount of available resources. In this context, it is hard to build confidence that a design solution fulfills the application's requirements. This paper introduces a design flow for web service applications of the representational state transfer style that is based on a formal modeling language, the behaviour, interaction, priority (BIP) component framework. The proposed flow applies the principles of separation of concerns in a component-based design process that supports the modular design and reuse of model artifacts. The BIP tools for state-space exploration allow verifying qualitative properties for service responsiveness, ie, the timely handling of events. Moreover, essential quantitative properties are validated through statistical model checking of a stochastic BIP model. All properties are preserved in actual implementation by ensuring that the deployed code is consistent with the validated model. We illustrate the design of a representational state transfer sense-compute-control application for a Wireless Personal Area Network architecture with nodes running the Contiki operating system. The results validate qualitative and quantitative properties for the system and include the study of error behaviours.

show abstract

Section: Discussionmentioning

confidence: 99%

Model‐based design of IoT systems with the BIP component framework

et al. 2018

View full text Add to dashboard Cite

show abstract

“…A model driven approach for the design of embedded component based systems is presented in [22]. The approach is based on the Flex-eWare component model, which defines an architectural model in terms of components, composites, interfaces, and connections as in HyperFlex., and additional concepts for modeling computational nodes (e.g.…”

Section: Mde For Software Variability Managementmentioning

confidence: 99%

Software Product Line Engineering for Robotic Perception Systems

Brugali

Hochgeschwender

2018

Int. J. Semantic Computing

View full text Add to dashboard Cite

Control systems for autonomous robots are concurrent, distributed, embedded, real-time and data intensive software systems. A real-world robot control system is composed of tens of software components. For each component providing robotic functionality, tens of different implementations may be available. The difficult challenge in robotic system engineering consists in selecting a coherent set of components, which provide the functionality required by the application requirements, taking into account their mutual dependencies. This challenge is exacerbated by the fact that robotics system integrators and application developers are usually not specifically trained in software engineering. In various application domains, software product line (SPL) development has proven to be the most effective approach to face this kind of challenges. In a previous paper [D. Brugali and N. Hochgeschwender, Managing the functional variability of robotic perception systems, in First IEEE Int. Conf. Robotic Computing, 2017, pp. 277–283.] we have presented a model-based approach to the development of SPL for robotic perception systems, which integrates two modeling technologies developed by the authors: The HyperFlex toolkit [L. Gherardi and D. Brugali, Modeling and reusing robotic software architectures: The HyperFlex toolchain, in IEEE Int. Conf. Robotics and Automation, 2014, pp. 6414–6420.] and the Robot Perception Specification Language (RPSL) [N. Hochgeschwender, S. Schneider, H. Voos and G. K. Kraetzschmar, Declarative specification of robot perception architectures, in 4th Int. Conf. Simulation, Modeling, and Programming for Autonomous Robots, 2014, pp. 291–302.]. This paper extends our previous work by illustrating the entire development process of an SPL for robot perception systems with a real case study.

show abstract

“…The FCM [8] [18]. Upon deployment, the tool chain executes a model transformation that replaces annotated UML connectors with the associated interaction components, as shown in the motivating example given in Section 14.2 (the transition from Fig.…”

Section: Qompassmentioning

confidence: 99%