Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems Proceedings of the GM R&D Workshop, Bangalore, India, January 2007 /
This volume is the proceedings of the workshop “Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems” organised by General Motors R&D, India Science Lab. The workshop was held on January 5-6 2007 at the NIAS auditorium, IISc campus, Bangalore, India. Thi...
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Dordrecht :
Springer Netherlands,
2007.
|
| Subjects: | |
| Online Access: | Full Text via HEAL-Link |
Table of Contents:
- An Abstraction Technique for Real-Time Verification
- SCADE: Synchronous Design and Validation of Embedded Control Software
- Model-Based Development of Embedded Systems: The SysWeaver Approach
- Verification and Integration of Real-Time Control Software
- Merge Algorithms for Intelligent Vehicles
- All Those Duration Calculi: An Integrated Approach
- Adding Time to Scenarios
- Using System-Level Timing Analysis for the Evaluation and Synthesis of Automotive Architectures
- Verifiable Design of Asynchronous Software
- Approximate Symbolic Reachability of Networks of Transition Systems
- Schedule Verification and Synthesis for Embedded Real-Time Components
- An Instrumentation-Based Approach to Controller Validation
- A Design Methodology for Distributed Real-Time Automotive Applications
- Role of Formal Methods in the Automobile Industry
- Predicting Failures of and Repairing Inductive Proof Attempts
- Can Semi-Formal be Made More Formal?
- Beyond Satisfiability: Extensions and Applications
- Compositional Reactive Semantics of SystemC and Verification with RuleBase
- PSL: Beyond Hardware Verification
- On the Polychronous Approach to Embedded Software Design
- Scaling up Model-checking
- Performance Debugging of Heterogeneous Real-Time Systems.
