Multi-domain Modelling in DESTECS and Ptolemy - a Tool Comparison

Developing embedded systems with high performance and safety requirements is notoriously hard. It is not enough to have a thorough understanding of the control algorithms used, but a deep understanding of the monitored and controlled physical environment is required to ensure that performance and safety requirements are met. Various tools deal with modeling such multi-domain systems and provide evaluation through simulation. Two such tools — DESTECS and Ptolemy — are examined and compared in this paper, using a case study of an aircraft fuel system. Usability, quantitative, and qualitative comparison criteria are used to give a thorough analysis of the capabilities of the two tools. The contribution of this paper is a description of pros and cons of each tool, helping future users to choose the right tool that suits their needs

Applying Co-Simulation for an Industrial Conveyor System

This paper describes an industrial application of a new research technology enabling the co-simulation of models in continuous time and discrete event respectively. The application concerns modeling of a conveyor system with trolleys that has tilting capabilities that can be used to compensate for high speeds in curves in order to avoid parcels falling of the trolleys. The main challenge for this kind of physical system is that a system solution here requires both insight into the mechanical physics behavior as well as ways in which the system can be controlled discretely by a software based solution. This paper demonstrates how it is possible to bridge the gap between these two different disciplines in co-simulated models

Development Process for Multi-Disciplinary Embedded Control Systems

This report contains the progress report for the qualification exam for Industrial PhD student Sune Wolff. Initial work on describing a development process for multi-disciplinary systems using collaborative modelling and co-simulation is described

Enhancing Formal Modelling Tool Support with Increased Automation

Progress report for the qualification exam report for PhD Student Kenneth Lausdahl. Initial work on enhancing tool support for the formal method VDM and the concept of unifying a abstract syntax tree with the ability for isolated extensions is described. The tool support includes a connection to UML and a test automation principle based on traces written as a kind of regular expressions

Energy-Aware System-Level Design of Cyber-Physical Systems

Cyber-Physical Systems (CPSs) are heterogeneous systems in which one or several computational cores interact with the physical environment. This interaction is typically performed through electromechanical elements such as sensors and actuators. Many CPSs operate as part of a network and some of them present a constrained energy budget (for example, they are battery powered). Examples of energy constrained CPSs could be a mobile robot, the nodes that compose a Body Area Network or a pacemaker. The heterogeneity present in the composition of CPSs together with the constrained energy availability makes these systems challenging to design. A way to tackle both complexity and costs is the application of abstract modelling and simulation. This thesis proposed the application of modelling at the system level, taking energy consumption in the different kinds of subsystems into consideration. By adopting this cross disciplinary approach to energy consumption it is possible to decrease it effectively. The results of this thesis are a number of modelling guidelines and tool improvements to support this kind of holistic analysis, covering energy consumption in electromechanical, computation and communication subsystems. From a methodological point of view these have been framed within a V-lifecycle. Finally, this approach has been demonstrated on two case studies from the medical domain enabling the exploration of alternative systems architectures and producing energy consumption estimates to conduct trade-off analysis

Evaluation of Development Process and Methodology for Co-Models

An embedded control system often requires a tight association between computational and physical system components. In such cases, embedded system development is difficult, as it requires the collaboration among stakeholders with different backgrounds (software engineers, mechanical engineers, managers etc.). With the constant increase in design complexity, caused by advances in implementation technologies, new ways of approaching embedded system development are needed.This thesis presents an evaluation of a tool-oriented development process and methodology, supporting embedded system development. The philosophy of the development process and methodology, is that design complexity can be managed through collaborative work and multi-disciplinary modeling. To obtain input for the evaluation work, the development process is applied during a case study, involving the development of a route following robot and a model of this. To demonstrate the value of this model, it is simulated to predict route completion times for the physical robot.The evaluation work identifies possibilities and challenges of the development process and methodology, with respect to traditional physicalprototyping. This will support developers in choosing the most optimal way of approaching development. In addition to this, suggestions for extensions to the methodology are provided. These intend to increasethe value the development process and methodology may bring thedevelopment work

Design support and tooling for dependable embedded control software

The efficient design of resilient embedded systems is hampered by the separation of engineering disciplines in current development approaches. We describe a new project entitled “Design Support and Tooling for Embedded Control Software ” (DESTECS), which aims to develop a methodology and open tools platform for collaborative and multidisciplinary development of dependable embedded real-time control systems. We also present some initial results from a small co-simulation case study. The DESTECS methodology combines continuous-time and discrete-event modelling via co-simulation, allowing explicit modelling of faults and fault-tolerance mechanisms from the outset. Continuous-time models are expressed using differential equations, which we represent using the wellknown bond graph notation, supported by the 20-sim tool. We model discrete-event controllers using the Vienna Development Method (VDM), supported by the Overture tools. An open, extensible tools platform will be developed, populated with plug-ins to support static analysis, co-simulation, testing and fault analysis. Trials will be conducted on industrial case studies from several domains, including document handling, inertial measurement and personal transportation