Modeling and simulation-driven development of embedded real-time systems |
| |
| Affiliation: | 1. Department of Environment, Damavand Branch, Islamic Azad University, Damavand, Iran;2. Young Researchers and Elites Club, North Tehran Branch, Islamic Azad University, Tehran, Iran;1. Institut de Recherche Criminelle de la Gendarmerie Nationale (IRCGN), Digital Forensics department (INL), 1 boulevard Théophile Sueur, 93110 Rosny-Sous-Bois, France;2. PRES Sorbonne Universités – Université Panthéon-Assas Paris II, 12 place de Panthéon, 75005 Paris Cedex 05, France;3. Kriminaltechnisches Institut (KTI) des Bundeskriminalamtes (BKA), Äppelallee 45, 65173 Wiesbaden, Germany;1. Department of Engineering Graphics Design and Projects, University of Jaen, Spain;2. Department of Mechanical Engineering, Polytechnical University of Madrid, Spain;1. Institute for Plasma Research, Gandhinagar, Gujarat, India;2. Sandeepani School of Embedded System Design, Bangalore, Karnataka, India;1. College of Computer Science, Chongqing University, Chongqing, China;2. Key Laboratory of Dependable Service Computing in Cyber Physical Society (Chongqing University), Ministry of Education, China;3. School of Electrical and Computer Engineering, Oklahoma State University, Stillwater, USA |
| |
| Abstract: | The design and development of embedded hard real-time (RT) systems is one of the complex development practices, because of the requirements of criticality and timeliness of these systems. One critical aspect of RT systems is the production of output before specified deadline. Formal methods are promising in dealing with the design issues of these applications, although they do not scale well for complex systems. Instead, Modeling and Simulation (M&S) provides a cost-effective approach to verify the design and implementation details of very Complex RT applications. M&S methods provide dynamic and risk-free testing environments to verify different scenarios, and they are used for feasibility analysis and verification of such systems. Nevertheless, the simulation models are usually discarded in the later phases of the development.We present the application of an M&S-based method referred to as DEVSRT (Discrete EVent System Specifications in Real-Time) to solve the discontinuity between the simulation models and the final embedded application, in this paper. DEVSRT defines explicit deadline notation for DEVS transitions, draws a clear mapping between DEVS transitions and real-time tasks and provides a formal method and tool for integration of simulation models with the associated hardware components. |
| |
| Keywords: | Discrete-event simulation Embedded systems Real-time simulation and control Model-based approach |
| 本文献已被 ScienceDirect 等数据库收录！ |
|
