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,...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Ramesh, S. (Editor ), Sampath, P. (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Dordrecht : Springer Netherlands : Imprint: Springer, 2007.
Edición:1st ed. 2007.
Temas:
Electronic circuits.
Computer science.
Software engineering.
Computer simulation.
Computer science-Mathematics.
Electronic Circuits and Systems.
Theory of Computation.
Software Engineering.
Computer Modelling.
Mathematical Applications in Computer Science.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares