Ramesh, S.
Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems
1. An Abstraction Technique for Real-Time Verification
Edmund M. Clarke, Flavio Lerda, Muralidhar Talupur
2. SCADE: Synchronous Design and Validation of Embedded Control Software
Gérard Berry
3. Model-Based Development of Embedded Systems: The SysWeaver Approach
Raj Rajkumar
4. Verification and Integration of Real-Time Control Software
Rajeev Alur
5. Merge Algorithms for Intelligent Vehicles
Gurulingesh Raravi, Vipul Shingde, Krithi Ramamritham, Jatin Bharadia
6. All Those Duration Calculi: An Integrated Approach
Paritosh K. Pandya
7. Adding Time to Scenarios
Prakash Chandrasekaran, Madhavan Mukund
8. Using System-Level Timing Analysis for the Evaluation and Synthesis of Automotive Architectures
Marco Di Natale, Wei Zheng, Paolo Giusto
9. Verifiable Design of Asynchronous Software
Prakash Chandrasekaran, Christopher L. Conway, Joseph M. Joy, Sriram K. Rajamani
10. Approximate Symbolic Reachability of Networks of Transition Systems
Sudeep Juvekar, Ankur Taly, Varun Kanade, Supratik Chakraborty
11. Schedule Verification and Synthesis for Embedded Real-Time Components
Purandar Bhaduri
12. An Instrumentation-Based Approach to Controller Validation
Rance Cleaveland
13. A Design Methodology for Distributed Real-Time Automotive Applications
Werner Damm, Alexander Metzner
14. Role of Formal Methods in the Automobile Industry
Thomas E. Fuhrman
15. Predicting Failures of and Repairing Inductive Proof Attempts
Mahadevan Subramaniam, Deepak Kapur, Stephan Falke
16. Can Semi-Formal be Made More Formal?
Ansuman Banerjee, Pallab Dasgupta, Partha P. Chakrabarti
17. Beyond Satisfiability: Extensions and Applications
Natarajan Shankar
18. Compositional Reactive Semantics of SystemC and Verification with RuleBase
Rudrapatna K. Shyamasundar, Frederic Doucet, Rajesh K. Gupta, Ingolf H. Krüger
19. PSL: Beyond Hardware Verification
Ziv Glazberg, Mark Moulin, Avigail Orni, Sitvanit Ruah, Emmanuel Zarpas
20. On the Polychronous Approach to Embedded Software Design
Sandeep K. Shukla, Syed M. Suhaib, Deepak A. Mathaikutty, Jean-Pierre Talpin
21. Scaling up Model-checking
Aniket Kulkarni, Ravindra Metta, Ulka Shrotri, R. Venkatesh
22. Performance Debugging of Heterogeneous Real-Time Systems
Unmesh D. Bordoloi, Samarjit Chakraborty, Andrei Hagiescu
DRM-restrictions
Printing: not available
Clipboard copying: not available
Avainsanat: TECHNOLOGY & ENGINEERING / General TEC000000
- Tekijä(t)
- Ramesh, S.
- Sampath, Prahladavaradan
- Julkaisija
- Springer
- Julkaisuvuosi
- 2007
- Kieli
- en
- Painos
- 1
- Kategoria
- Tekniikka, energia, liikenne
- Tiedostomuoto
- E-kirja
- eISBN (PDF)
- 9781402062544