Theoretical Computer Science
Holistic schedulability analysis for distributed hard real-time systems
Microprocessing and Microprogramming - Parallel processing in embedded real-time systems
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
Analysis of Timed Systems Using Time-Abstracting Bisimulations
Formal Methods in System Design
Formal Verification of a TDMA Protocol Start-Up Mechanism
PRFTS '97 Proceedings of the 1997 Pacific Rim International Symposium on Fault-Tolerant Systems
Automated Validation of Distributed Software Using the IF Environment
NCA '01 Proceedings of the IEEE International Symposium on Network Computing and Applications (NCA'01)
DS-RT '04 Proceedings of the 8th IEEE International Symposium on Distributed Simulation and Real-Time Applications
IEEE Transactions on Parallel and Distributed Systems
Modular Code Generation from Triggered and Timed Block Diagrams
RTAS '08 Proceedings of the 2008 IEEE Real-Time and Embedded Technology and Applications Symposium
Schedulability analysis for systems with data and control dependencies
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
| Hi-index | 0.00 |
This paper proposes a formal environment for distributed embedded systems. This approach consists of modelling our embedded system in a hierarchical manner by subdividing it into levels. The first level consists of the modelled application using a task set and the operating system objects semaphores, mailboxes, watchdogs which schedule tasks to realise application functions. The second level consists of modelling the hardware components of our embedded system. Our distributed system consists of a network of ECU Electronic Control Unity in which like-CAN bus allows ECU to communicate with each other. The communication with the ECU is based on pre-emptive fixed priority scheduling. The Architecture scheme contains an OS layer. This paper suggests an approach based on abstraction to different pieces of architecture, e.g., ECU, OS, application, communicating bus, is suggested. A formal method which allows for interaction between software and hardware elements of the distributed architecture is developed. Based on IF-language, models of all these elements are proposed. The external environment of the distributed systems is also modelled. Observer automata is also suggested to specify architecture properties. These ideas are presented through exploration of an automotive case study.