Login

Ramesh, S.

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems

Ramesh, S. - Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems, ebook

148,80€

Ebook, PDF with Adobe DRM
ISBN: 9781402062544
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

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

Keywords: TECHNOLOGY & ENGINEERING / General TEC000000

Author(s)
 
Publisher
Springer
Publication year
2007
Language
en
Edition
1
Category
Technology, Energy, Traffic
Format
Ebook
eISBN (PDF)
9781402062544

Similar titles