05023nam 22007575 450 99646553770331620200703234909.03-540-45828-X10.1007/3-540-45828-X(CKB)1000000000211802(SSID)ssj0000322879(PQKBManifestationID)11245555(PQKBTitleCode)TC0000322879(PQKBWorkID)10296001(PQKB)10431773(DE-He213)978-3-540-45828-9(MiAaPQ)EBC3072886(PPN)155198882(EXLCZ)99100000000021180220121227d2002 u| 0engurnn|008mamaatxtccrEmbedded Software[electronic resource] Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings /edited by Alberto Sangiovanni-Vincentelli, Joseph Sifakis1st ed. 2002.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2002.1 online resource (X, 430 p.) Lecture Notes in Computer Science,0302-9743 ;2491Bibliographic Level Mode of Issuance: Monograph3-540-44307-X Includes bibliographical references at the end of each chapters and index.Embedded Systems: Challenges in Specification and Verification -- An Approach to Designing Safe Embedded Software -- Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?) -- Platform-Based Embedded Software Design for Multi-vehicle Multi-modal Systems -- A Giotto-Based Helicopter Control System -- Principles of Real-Time Programming -- Time-Safety Checking for Embedded Programs -- Compositional Modeling in Metropolis -- Timed Interfaces -- Description and Schedulability Analysis of the Software Architecture of an Automated Vehicle Control System -- Formal Modeling and Analysis of Advanced Scheduling Features in an Avionics RTOS -- Scalable Applications for Energy-Aware Processors -- Upgrading Embedded Software in the Field: Dependability and Survivability -- Real-Time Virtual Resource: A Timely Abstraction for Embedded Systems -- JCOD: A Lightweight Modular Compilation Technology for Embedded Java -- Decreasing Memory Overhead in Hard Real-Time Garbage Collection -- Speedup Prediction for Selective Compilation of Embedded Java Programs -- Synchronous Modelling of Asynchronous Systems -- A Protocol for Loosely Time-Triggered Architectures -- Automatic Production of Globally Asynchronous Locally Synchronous Systems -- Adaptive and Reflective Middleware for Distributed Real-Time and Embedded Systems -- Toward an Approximation Theory for Computerised Control -- A New Facility for Dynamic Control of Program Execution: DELI -- Design Tools for Application Specific Embedded Processors -- Processor Pipelines and Their Properties for Static WCET Analysis -- ILP-Based Interprocedural Path Analysis -- Enhancing Compiler Techniques for Memory Energy Optimizations -- FlexCC2: An Optimizing Retargetable C Compiler for DSP Processors -- Physical Programming: Beyond Mere Logic -- Processes, Interfaces and Platforms. Embedded Software Modeling in Metropolis.Lecture Notes in Computer Science,0302-9743 ;2491Application softwareSoftware engineeringOperating systems (Computers)Computer logicSpecial purpose computersComputer Applicationshttps://scigraph.springernature.com/ontologies/product-market-codes/I23001Software Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14045Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XSpecial Purpose and Application-Based Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I13030Application software.Software engineering.Operating systems (Computers).Computer logic.Special purpose computers.Computer Applications.Software Engineering/Programming and Operating Systems.Operating Systems.Logics and Meanings of Programs.Special Purpose and Application-Based Systems.005.1Sangiovanni-Vincentelli Albertoedthttp://id.loc.gov/vocabulary/relators/edtSifakis Josephedthttp://id.loc.gov/vocabulary/relators/edtEMSOFT (Conference)MiAaPQMiAaPQMiAaPQBOOK996465537703316Embedded Software2257116UNISA