LEADER 05765nam 22008175 450 001 9910483132703321 005 20251226202316.0 024 7 $a10.1007/b137344 035 $a(CKB)1000000000213077 035 $a(SSID)ssj0000319808 035 $a(PQKBManifestationID)11227261 035 $a(PQKBTitleCode)TC0000319808 035 $a(PQKBWorkID)10338643 035 $a(PQKB)11444230 035 $a(DE-He213)978-3-540-31666-4 035 $a(MiAaPQ)EBC3068363 035 $a(PPN)123095557 035 $a(Association for Computing Machinery)10.5555/2103230 035 $a(EXLCZ)991000000000213077 100 $a20101220d2005 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aReliable Software Technology ? Ada-Europe 2005 $e10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings /$fedited by Tullio Vardanega, Andy Wellings 205 $a1st ed. 2005. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2005. 215 $a1 online resource (XVI, 276 p.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v3555 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-31666-3 311 08$a3-540-26286-5 320 $aIncludes bibliographical references and index. 327 $aApplications -- ILTIS ? The Legacy of a Successful Product -- A Reference Control Architecture for Service Robots Implemented on a Climbing Vehicle -- An Ada Framework for QoS-Aware Applications -- Design and Scheduling Issues -- Efficient Alternatives for Implementing Fixed-Priority Schedulers -- A New Strategy for the HRT-HOOD to Ada Mapping -- Using the AADL to Describe Distributed Applications from Middleware to Software Components -- Formal Methods -- Extending Ravenscar with CSP Channels -- Dynamic Tasks Verification with Quasar -- Proving Functional Equivalence for Program Slicing in SPARKTM -- Ada and Education -- Teaching Software Engineering with Ada 95 -- A Comparison of the Mutual Exclusion Features in Ada and the Real-Time Specification for JavaTM -- Certification and Verification -- Smart Certification of Mixed Criticality Systems -- Non-intrusive System Level Fault-Tolerance -- Distributed Systems -- Observing the Development of a Reliable Embedded System -- RT-EP: A Fixed-Priority Real Time Communication Protocol over Standard Ethernet -- Distributing Criticality Across Ada Partitions -- Language Issues -- The Implementation of Ada 2005 Interface Types in the GNAT Compiler -- Integrating Application-Defined Scheduling with the New Dispatching Policies for Ada Tasks -- The Application of Compile-Time Reflection to Software Fault Tolerance Using Ada 95 -- Ravenscar Technology -- GNAT Pro for On-board Mission-Critical Space Applications -- The ESA Ravenscar Benchmark. 330 $aStarted on the inspired initiative of Prof. Alfred Strohmeier back in 1996, and spawned from the annual Ada-Europe conference that had previously run for 16 consecutive years, the International Conference on Reliable Software Technologies celebrated this year its tenth anniversary by going to York, UK, where the ?rst series of technical meetings on Ada were held in the 1970s. Besides being a beautiful and historical place in itself, York also hosts the Depa- ment of Computer Science of the local university, whose Real-Time Group has been tremendously in?uential in shaping the Ada language and in the progress on real-time computing worldwide. This year?s conference was therefore put together under exc- lent auspices, in a very important year for the Ada community in view of the forthc- ing completion of the revision process that is upgrading the language standard to face the challenges of the new millennium. The conference took place on June 20?24, 2005. It was as usual sponsored by Ada-Europe, the European federation of national Ada societies, in cooperation with ACM SIGAda. The conference was organized by selected staff of the University of York teamed up with collaborators from various places in Europe, in what turned out to be a very effective instance of distributed collaborative processing. The conference also enjoyed the generous support of 11 industrial sponsors. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v3555 606 $aSoftware engineering 606 $aComputer networks 606 $aComputers, Special purpose 606 $aComputer programming 606 $aCompilers (Computer programs) 606 $aElectronic data processing$xManagement 606 $aSoftware Engineering 606 $aComputer Communication Networks 606 $aSpecial Purpose and Application-Based Systems 606 $aProgramming Techniques 606 $aCompilers and Interpreters 606 $aIT Operations 615 0$aSoftware engineering. 615 0$aComputer networks. 615 0$aComputers, Special purpose. 615 0$aComputer programming. 615 0$aCompilers (Computer programs). 615 0$aElectronic data processing$xManagement. 615 14$aSoftware Engineering. 615 24$aComputer Communication Networks. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aProgramming Techniques. 615 24$aCompilers and Interpreters. 615 24$aIT Operations. 676 $a005.1 701 $aVardanega$b T$g(Tullio)$01417637 701 $aWellings$b Andrew J$027388 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483132703321 996 $aReliable Software Technology ? Ada-Europe 2005$94520621 997 $aUNINA