CPAL: high-level abstractions for safe embedded systems

2017 IEEE 13th International Workshop on Factory Communication Systems (WFCS)

2017

Self Cite

Abstract-Fast-paced innovation in the embedded systems domain puts an ever increasing pressure on effective software development methods, leading to the growing popularity of ModelBased Design (MBD). In this context, a proper choice of modeling languages and related tools-depending on design goals and problem qualities-is crucial to make the most of MBD benefits. In this paper, a comparison between two dissimilar approaches to modeling is carried out, with the goal of highlighting their relative advantages and shortcomings. It focuses on a case study involving a well-known distributed agreement protocol, a choice motivated by the fact that embedded systems are nowadays quickly evolving towards distributed, fault-tolerant architectures.Index Terms-Model-driven development, Distributed agreement protocols, Embedded systems design and development.

Section: B the Cpal Languagementioning

confidence: 99%

Section: Introduction and Related Workmentioning

confidence: 99%

Model-based design languages: A case study

Bertolotti

2017 IEEE 13th International Workshop on Factory Communication Systems (WFCS)

2017

Self Cite

“…This encompasses to solve several sub-problems such as defining the set of experiments to perform in order to achieve a certain evaluation goal (e.g., verification of the effectiveness of error detection mechanisms) and instrumenting the original code with fault injection patterns. This work is a contribution in that direction, we propose here a set of software patterns to implement fault injection in languages, or language extensions, like StateFlow®, CPAL [3] or Mbeddr [4] that natively support Finite State Machines (FSMs). Specifically, our work targets CPAL which is a representative of DSL for embedded systems designed for MDE.…”

Section: B Contribution Of the Papermentioning

confidence: 99%

“…The Cyber-Physical Action Language (CPAL, see [3], [12]) is a new domain-specific language that provides high-level abstractions to express domain-specific properties or patterns of behaviors well suited to embedded systems with timing and dependability constraints, and for CPS at large. CPAL is a modelling and design language but it is also an implementation language as CPAL models can be interpreted on a real-time execution engine.…”

Section: Cpal For Embedded Software Engineeringmentioning

confidence: 99%

Software patterns for fault injection in CPS engineering

2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)

Bertolotti

2017

Self Cite

Abstract-Software fault injection is a powerful technique to evaluate the robustness of an application and guide in the choice of fault-tolerant mechanisms. It however requires a lot of time and know-how to be properly implemented, which severely hinders its applicability. We believe software fault injection can be made more "affordable" by automating it and have it integrated within a model-driven engineering design flow. We first propose in this paper a framework supporting these objectives. Then, illustrating on the domain-specific language CPAL, we present injection patterns that can be embedded in the application code and discuss the types of faults each supports, as well as implementation issues.

“…This problem motivates a new modeling paradigm. Our initiative is CPAL [7] which is a language to model, simulate, verify and execute Cyber-Physical Systems as used in automotive, aerospace, IoT, etc. These systems are typically interacting with numerous sensors, computing resources and the actuators.…”

Section: A Need For a Timing Aware Model Driven Developmentmentioning

confidence: 99%

Connected motorized riders — A smart mobility system to connect two and three-wheelers

Sundharam

Fejoz²,

2016 Sixth International Symposium on Embedded Computing and System Design (ISED)

2016

Self Cite

Abstract-The Smart Cities Mission has been launched in India in 2015 to develop 100 cities, with smart mobility being one of the main topics in the mission. As urban areas are flooded with two (motorcycles) and three wheelers (auto-rickshaws), introducing smart control of such vehicles may reduce the congestion on the roads and the number of accidents. Indeed, over-speeding and drunken driving are common traffic violations. In this project we propose an IoT-based smart mobility system which tracks data, such as the vehicle location, vehicle speed, alcohol level of the driver, etc. efficiently over the internet. Our system has been conceived with CPAL, a high-level language meant to simulate and execute Cyber Physical Systems including IoT applications. A prototype running on ARM mbed IoT hardware, shows the feasibility of our concept. We believe that more efficient and interactive traffic management, more disciplined driving behaviors, reduction in accident rate, more controlled pollution, increased passenger safety can be achieved if systems like the one prototyped in this work deployed contributing to smarter cities.