Ebook: Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems: Proceedings of the GM R&D Workshop, Bangalore, India, January 2007
- Tags: Circuits and Systems, Software Engineering, Simulation and Modeling, Math Applications in Computer Science
- Year: 2007
- Publisher: Springer Netherlands
- Edition: 1
- Language: English
- pdf
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. This workshop is the first of its kind to be organised by an automotive major to bring together the leaders in the field of embedded systems development to present state-of-the-art work, and to discuss future strategies for addressing the increasing complexity of embedded control systems. The workshop consisted of invited talks given by leading experts and researchers from academic and industrial organizations. The workshop covered all areas of embedded systems development and in particular:
- Formal specification and verification of distributed, heterogeneous, embedded systems
- Formal semantics of modeling languages
- Model-based specification and testing
- Formal approach to component based development
- Software product line engineering
- Automatic code generation for distributed, embedded systems.
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. This workshop is the first of its kind to be organised by an automotive major to bring together the leaders in the field of embedded systems development to present state-of-the-art work, and to discuss future strategies for addressing the increasing complexity of embedded control systems. The workshop consisted of invited talks given by leading experts and researchers from academic and industrial organizations. The workshop covered all areas of embedded systems development and in particular:
- Formal specification and verification of distributed, heterogeneous, embedded systems
- Formal semantics of modeling languages
- Model-based specification and testing
- Formal approach to component based development
- Software product line engineering
- Automatic code generation for distributed, embedded systems.
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. This workshop is the first of its kind to be organised by an automotive major to bring together the leaders in the field of embedded systems development to present state-of-the-art work, and to discuss future strategies for addressing the increasing complexity of embedded control systems. The workshop consisted of invited talks given by leading experts and researchers from academic and industrial organizations. The workshop covered all areas of embedded systems development and in particular:
- Formal specification and verification of distributed, heterogeneous, embedded systems
- Formal semantics of modeling languages
- Model-based specification and testing
- Formal approach to component based development
- Software product line engineering
- Automatic code generation for distributed, embedded systems.
Content:
Front Matter....Pages i-xxiii
An Abstraction Technique for Real-Time Verification....Pages 1-17
SCADE: Synchronous Design and Validation of Embedded Control Software....Pages 19-33
Model-Based Development of Embedded Systems: The SysWeaver Approach....Pages 35-46
Verification and Integration of Real-Time Control Software....Pages 47-49
Merge Algorithms for Intelligent Vehicles....Pages 51-65
All Those Duration Calculi: An Integrated Approach....Pages 67-81
Adding Time to Scenarios....Pages 83-97
Using System-Level Timing Analysis for the Evaluation and Synthesis of Automotive Architectures....Pages 99-113
Verifiable Design of Asynchronous Software....Pages 115-116
Approximate Symbolic Reachability of Networks of Transition Systems....Pages 117-136
Schedule Verification and Synthesis for Embedded Real-Time Components....Pages 137-153
An Instrumentation-Based Approach to Controller Validation....Pages 155-155
A Design Methodology for Distributed Real-Time Automotive Applications....Pages 157-174
Role of Formal Methods in the Automobile Industry....Pages 175-175
Predicting Failures of and Repairing Inductive Proof Attempts....Pages 177-191
Can Semi-Formal be Made More Formal?....Pages 193-211
Beyond Satisfiability: Extensions and Applications....Pages 213-225
Compositional Reactive Semantics of SystemC and Verification with RuleBase....Pages 227-243
PSL: Beyond Hardware Verification....Pages 245-260
On the Polychronous Approach to Embedded Software Design....Pages 261-273
Scaling up Model-checking....Pages 275-283
Performance Debugging of Heterogeneous Real-Time Systems....Pages 285-300
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. This workshop is the first of its kind to be organised by an automotive major to bring together the leaders in the field of embedded systems development to present state-of-the-art work, and to discuss future strategies for addressing the increasing complexity of embedded control systems. The workshop consisted of invited talks given by leading experts and researchers from academic and industrial organizations. The workshop covered all areas of embedded systems development and in particular:
- Formal specification and verification of distributed, heterogeneous, embedded systems
- Formal semantics of modeling languages
- Model-based specification and testing
- Formal approach to component based development
- Software product line engineering
- Automatic code generation for distributed, embedded systems.
Content:
Front Matter....Pages i-xxiii
An Abstraction Technique for Real-Time Verification....Pages 1-17
SCADE: Synchronous Design and Validation of Embedded Control Software....Pages 19-33
Model-Based Development of Embedded Systems: The SysWeaver Approach....Pages 35-46
Verification and Integration of Real-Time Control Software....Pages 47-49
Merge Algorithms for Intelligent Vehicles....Pages 51-65
All Those Duration Calculi: An Integrated Approach....Pages 67-81
Adding Time to Scenarios....Pages 83-97
Using System-Level Timing Analysis for the Evaluation and Synthesis of Automotive Architectures....Pages 99-113
Verifiable Design of Asynchronous Software....Pages 115-116
Approximate Symbolic Reachability of Networks of Transition Systems....Pages 117-136
Schedule Verification and Synthesis for Embedded Real-Time Components....Pages 137-153
An Instrumentation-Based Approach to Controller Validation....Pages 155-155
A Design Methodology for Distributed Real-Time Automotive Applications....Pages 157-174
Role of Formal Methods in the Automobile Industry....Pages 175-175
Predicting Failures of and Repairing Inductive Proof Attempts....Pages 177-191
Can Semi-Formal be Made More Formal?....Pages 193-211
Beyond Satisfiability: Extensions and Applications....Pages 213-225
Compositional Reactive Semantics of SystemC and Verification with RuleBase....Pages 227-243
PSL: Beyond Hardware Verification....Pages 245-260
On the Polychronous Approach to Embedded Software Design....Pages 261-273
Scaling up Model-checking....Pages 275-283
Performance Debugging of Heterogeneous Real-Time Systems....Pages 285-300
....