Preface. Acknowledgements.- An Abstraction Technique for Real-Time Verification; E.M.Clarke, F.Lerda, M.Talupur.- SCADE: Synchronous Design and Validation of Embedded Control Software; G.Berry.- Model-Based Development of Embedded Systems: The SysWeaver Approach; R.Rajkumar.- Verification and Integration of Real-Time Control Software; R.Alur.- Merge Algorithms for Intelligent Vehicles; G.Raravi, V.Shingde, K.Ramamritham, J.Bharadia.- All Those Duration Calculi: An Integrated Approach; P.K.Pandya.- Adding Time to Scenarios; P.Chandrasekaran, M.Mukund.- Using System-Level Timing Analysis for the Evaluation and Synthesis of Automotive Architectures; M.DiNatale, W.Zheng, P.Giusto.- Verifiable Design of Asynchronous Software; P.Chandrasekaran, C.L.Conway, J.M.Joy, S.K.Rajamani.- Approximate Symbolic Reachability of Networks of Transition Systems; S.Juvekar, A.Taly, V.Kanade, S.Chakraborty.- Schedule Verification and Synthesis for Embedded Real-Time Components; P.Bhaduri.- An Instrumentation-Based Approach to Controller Validation; R.Cleaveland.- A Design Methodology for Distributed Real-Time Automotive Applications; W.Damm, A.Metzner.- Role of Formal Methods in the Automobile Industry; T.E.Fuhrman.- Predicting Failures of and Repairing Inductive Proof Attempts; M.Subramaniam, D.Kapur, S.Falke.- Can Semi-Formal be Made More Formal? A.Banerjee, P.Dasgupta, P.P.Chakrabarti.- Beyond Satisfiability: Extensions and Applications; N.Shankar.- Compositional Reactive Semantics of SystemC and Verification with RuleBase; R.K.Shyamasundar, F.Doucet, R.K.Gupta, I.H.Krüger.- PSL: Beyond Hardware Verification; Z.Glazberg, M.Moulin, A.Orni, S.Ruah, E.Zarpas.- On the Polychronous Approach to Embedded Softward Design; S.K.Shukla, S.M.Suhaib, D.A.Mathaikutty, J.-P.Talpin.- Scaling up Model-checking; A.Kulkarni, R.Metta, U.Shrotri, R.Venkatesh.- Performance Debugging of Heterogeneous Real-Time Systems; U.D.Bordoloi, S.Chakraborty, A.Hagiescu.
EAN/ISBN : 9781402062544
Publisher(s): Springer Netherlands
Discussed keywords: Embedded Systems
Format: ePub/PDF

Author(s): Ramesh, S. - Sampath, Prahladavaradan