Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems
Springer (Verlag)
978-90-481-7583-3 (ISBN)
Dr. Ramesh is the Chiarman of the "Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems", 5 - 6 Jan. 2007 in NIAS Auditorium, IISc Campus, Bangalore, India. He is also a seniro member of the GM R&D, Bangalore, India.
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.
Zusatzinfo | XXIV, 300 p. |
---|---|
Verlagsort | Dordrecht |
Sprache | englisch |
Maße | 155 x 235 mm |
Themenwelt | Informatik ► Grafik / Design ► Digitale Bildverarbeitung |
Mathematik / Informatik ► Informatik ► Software Entwicklung | |
Mathematik / Informatik ► Informatik ► Theorie / Studium | |
Mathematik / Informatik ► Mathematik ► Angewandte Mathematik | |
Technik ► Elektrotechnik / Energietechnik | |
ISBN-10 | 90-481-7583-6 / 9048175836 |
ISBN-13 | 978-90-481-7583-3 / 9789048175833 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich