2007

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems

Proceedings of the GM R&D Workshop, Bangalore, India, January 2007

Editors:

ISBN: 978-1-4020-6253-7 (Print) 978-1-4020-6254-4 (Online)

Table of contents (22 chapters)

previous Page of 2
  1. Front Matter

    Pages i-xxiii

  2. No Access

    Book Chapter

    Pages 1-17

    An Abstraction Technique for Real-Time Verification

  3. No Access

    Book Chapter

    Pages 19-33

    SCADE: Synchronous Design and Validation of Embedded Control Software

  4. No Access

    Book Chapter

    Pages 35-46

    Model-Based Development of Embedded Systems: The SysWeaver Approach

  5. No Access

    Book Chapter

    Pages 47-49

    Verification and Integration of Real-Time Control Software

  6. No Access

    Book Chapter

    Pages 51-65

    Merge Algorithms for Intelligent Vehicles

  7. No Access

    Book Chapter

    Pages 67-81

    All Those Duration Calculi: An Integrated Approach

  8. No Access

    Book Chapter

    Pages 83-97

    Adding Time to Scenarios

  9. No Access

    Book Chapter

    Pages 99-113

    Using System-Level Timing Analysis for the Evaluation and Synthesis of Automotive Architectures

  10. No Access

    Book Chapter

    Pages 115-116

    Verifiable Design of Asynchronous Software

  11. No Access

    Book Chapter

    Pages 117-136

    Approximate Symbolic Reachability of Networks of Transition Systems

  12. No Access

    Book Chapter

    Pages 137-153

    Schedule Verification and Synthesis for Embedded Real-Time Components

  13. No Access

    Book Chapter

    Pages 155-155

    An Instrumentation-Based Approach to Controller Validation

  14. No Access

    Book Chapter

    Pages 157-174

    A Design Methodology for Distributed Real-Time Automotive Applications

  15. No Access

    Book Chapter

    Pages 175-175

    Role of Formal Methods in the Automobile Industry

  16. No Access

    Book Chapter

    Pages 177-191

    Predicting Failures of and Repairing Inductive Proof Attempts

  17. No Access

    Book Chapter

    Pages 193-211

    Can Semi-Formal be Made More Formal?

  18. No Access

    Book Chapter

    Pages 213-225

    Beyond Satisfiability: Extensions and Applications

  19. No Access

    Book Chapter

    Pages 227-243

    Compositional Reactive Semantics of SystemC and Verification with RuleBase

  20. No Access

    Book Chapter

    Pages 245-260

    PSL: Beyond Hardware Verification

  21. No Access

    Book Chapter

    Pages 261-273

    On the Polychronous Approach to Embedded Software Design

previous Page of 2