A Model-Driven Co-Design Framework for Fusing Control and Scheduling Viewpoints (original) (raw)
Related papers
Design Contracts for Cyber-Physical Systems : Making Timing Assumptions Explicit
2012
Building Cyber-Physical Systems (CPS) involves several teams of engineers with different backgrounds. We focus on interactions between control engineers and embedded software engineers. Lack of rigorous methodologies for communication and interaction between the two groups has been recognized as an obstacle to the development of dependable and cost-effective CPS. We advocate the use of design contracts as a step towards bridging this gap. Design contracts act as a medium for communication and interaction between the control and computation/communication design problems in a CPS. The contracts provide a focal point for negotiation and for decision making. Once design contracts have been established, they help to separate the global CPS design problem into two sub-problems, each of which can be tackled separately by the control-engineering and the embedded software teams, thus making the design more tractable and efficient. We propose a framework of design contracts encompassing (i) c...
MoDEST: From Model-driven design towards real-time code generation for embedded control systems
IFAC Proceedings Volumes, 2009
This paper presents a model-driven methodology and tool for Embedded Control System (ECS) design. This methodology defines a common metamodel that unifies the design steps and ensures the consistency of models along the design cycle. It uses an approach based, in one side, on the software components that increase models reusability to face the increasing complexity of ECS; in the other side, on the aspect-oriented paradigm that allows to model transversal real time properties to support models analysis and validation in the earliest steps of the design cycle. Our methodology supports the control and scheduling co-design in order to evaluate the performance and stability of ECS during their design. A tool called MoDEST implements this methodology and provides real-time code generation. It should help designers to choose the best scheduling that preserves the control performance and quality of the designed ECS.
A full Model-Based Design Environment for the Development of Cyber Physical Systems
Designs
This paper discusses a full model-based design approach in the applicative development of Cyber Physical Systems targeting the fast development of Logic controllers (i.e., the “Cyber” side of a CPS). The proposed modeling language provides a synthesis between various somehow conflicting constraints, such as being graphical, easily usable by designers, self-contained with no need for extra information, and to leads to efficient implementation, even in low-end embedded systems. Its main features include easiness to describe parallelism of actions, precise time handling, communication with other systems according to various interfaces and protocols. Taking advantage the modeling easiness deriving from the above features, the language encourages to model whole CPSs, that is their Logical and their Physical side, working together; such whole models are simulated in order to achieve insight about their interaction and spot possible flaws in the controller; once validated, the very same mo...
Performance-aware scheduler synthesis for control systems
Proceedings of the ninth ACM international conference on Embedded software - EMSOFT '11, 2011
We consider the problem of designing a cyber-physical system where several control loops share the same architectural resources. Typically, the design of such systems proceeds in two steps. In the platform independent step, for each control loop in the system, the control designer calculates a control law and a sampling time that together ensure that the control loop has certain desired performance. Then, in the platform dependent step, these control tasks are scheduled on the platform, and a schedulability analysis determines if (and how) the control laws can be implemented and scheduled without missing the sampling deadlines. In this paper, we explore an alternative controllerscheduler co-design approach that aims to achieve optimal performance for all the individual control loops maintaining fairness. We first analyze the control systems to find out the rates at which control signals should be dropped to maintain schedulability and the optimal performance. We then use the rates to compute a schedule statically. We show a control theoretic approach to compute the effect of the rate of drops on the performance of the control systems and provide an SMT-based scheduling algorithm that takes as input control tasks, their periods, worst-case execution times, and their rate of drops, and outputs a static schedule that optimizes the performance of the control systems. We demonstrate our results through a case study on a family of inverted pendulums sharing the same processor for their control computations.
Proceedings Third IEEE Real-Time Technology and Applications Symposium, 1997
This paper presents a control theoretic approach to optimizing end-to-end timing constraints subject to the performance requirements and the schedulability constraint of a real-time control system. The control performance is specified in terms of control output responses such as steady state error, maximum overshoot, settling time, and rise time; and the end-to-end timing constraints include loop processing periods and input-to-output latency. Our approach includes a generic real-time controller model on which our analysis is performed, and a heuristic optimization algorithm which derives end-to-end timing constraints. We apply the approach to the design of an embedded real-time controller, and validate it through an experimental study using simulation. Our approach contributes to both the control and realtime areas: (1) it allows control engineers to take into consideration the effect of scheduling latency and sampling periods at the early stage of system design; and (2) it makes it possible to streamline the design of real-time control systems, since temporal requirements are derived in an automatic manner. Our approach can be effectively used with the period calibration method [2, 8, 4] as its front-end.
Model-driven system-performance engineering for cyber-physical systems
Proceedings of the 2021 International Conference on Embedded Software
System-Performance Engineering (SysPE) encompasses modeling formalisms, methods, techniques, and industrial practices to design systems for performance, where performance is taken integrally into account during the whole system life cycle. Industrial SysPE state of practice is generally model-based. Due to the rapidly increasing complexity of systems, there is a need to develop and establish model-driven methods and techniques. To structure the field of SysPE, we identify (1) industrial challenges motivating the importance of SysPE, (2) scientific challenges that need to be addressed to establish model-driven SysPE, (3) important focus areas for SysPE and (4) best practices. We conducted a survey to collect feedback on our views. The responses were used to update and validate the identified challenges, focus areas, and best practices. The final result is presented in this paper. Interesting observations are that industry sees a need for better design-space exploration support, more than for additional performance modeling and analysis techniques. Also tools and integral methods for SysPE need attention. From the identified focus areas, scheduling and supervisory control is seen as lacking established best practices.
The control server model for co-design of real-time control systems
1997
The paper presents the control server, a real-time scheduling mechanism tailored to control and signal processing applications. A control server creates the abstraction of a control task with a specified period and a fixed input-output latency shorter than the period. Individual tasks can be combined into more complex components without loss of their individual guaranteed fixed-latency properties. I/O occurs at fixed predefined points in time, at which inputs are read or controller outputs become visible. The control server model is especially suited for codesign of real-time control systems. The single parameter linking the scheduling design and the controller design is the task utilization factor. The proposed server is an extension of the constant bandwidth server, which is based on the earliest-deadline-first scheduling algorithm. The server has been implemented in a real-time kernel and has also been validated in control experiments on a ball and beam process. * A. Cervin is with the
A model-driven approach to embedded control system implementation
2007
The work presented here is on setting up methodological support, including (prototype) tools, for the design of distributed hard real-time embedded control software for mechatronic products. The use of parallel hardware (CPUs, FPGAs) and parallel software is investigated, to exploit the inherent parallel nature of embedded systems and their control. Two core models of computation are used to describe the behavior of the total mechatronic system (plant, control, software and I/O): discrete event system (DES) and continuous time system (CTS). These models of computation are coupled via co-simulation, to be able to do consistency checking at the boundaries. This allows for integration of discipline-specific parts on the model level (during design phases) instead of on the code level (during realization and test phases). Crossview design-change influences get specific attention, to allow for relaxation of the tension between several dependability issues (like reliability and robustness), while keeping design time (and thus design costs) under control. Furthermore, the design work can be done as a stepwise refinement process. This yields a shorter design time, and a better quality product. The method is illustrated with a case using the tools being prototyped.
Model-Based Engineering in Real-Time Embedded Systems: Specifying Timing Constraints
This paper presents the results from a research project on development of Real-Time Embedded Systems RTESs) using a Model-Based Engineering (MBE) approach. A review of the state-of-the-art modelling languages was done in order to assess their capabilities to model time. A chosen case-study, a Brake-By-Wire (BBW) system, was taken from the automotive industry. The case study focuses on the use of EAST-ADL to model the RTES and TADL to specify timing constraints. A different approach using MARTE to model the BBW system was developed within our project. This approach is used to compare MARTE (and OCL) with EAST-ADL (and TADL). The results show that MARTE can be used to model an RTES from the automotive industry but lacks some important semantic expressions for the timing constraints which are present in TADL.
Time Specification, Modeling and Measurement in frame of Cyber-Physical System Applications Design
This paper addresses the role, interpretation and the deployment of the notion "time" in distributed cyber-physical systems. Stemming from a brief state-of-the-art review, it discusses various possibilities how to specify, model and measure miscellaneous features of real time in the domain applications. The manuscript brings a simple, timing-oriented formal semantics of an example specification language and demonstrates the developed approach using case studies. The aim of the article is to select the fitting methods that enable to utilize the related specification and design approach for distributed cyber-physical systems applications.