000 05366nam a22006255i 4500
001 978-3-540-31666-4
003 DE-He213
005 20240730185005.0
007 cr nn 008mamaa
008 101220s2005 gw | s |||| 0|eng d
020 _a9783540316664
_9978-3-540-31666-4
024 7 _a10.1007/b137344
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
072 7 _aUMZ
_2thema
082 0 4 _a005.1
_223
245 1 0 _aReliable Software Technology - Ada-Europe 2005
_h[electronic resource] :
_b10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings /
_cedited by Tullio Vardanega, Andy Wellings.
250 _a1st ed. 2005.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2005.
300 _aXVI, 276 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aProgramming and Software Engineering,
_x2945-9168 ;
_v3555
505 0 _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.
520 _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.
650 0 _aSoftware engineering.
_94138
650 0 _aComputer networks .
_931572
650 0 _aComputers, Special purpose.
_946653
650 0 _aComputer programming.
_94169
650 0 _aCompilers (Computer programs).
_93350
650 0 _aElectronic data processing
_xManagement.
_9137500
650 1 4 _aSoftware Engineering.
_94138
650 2 4 _aComputer Communication Networks.
_9137501
650 2 4 _aSpecial Purpose and Application-Based Systems.
_946654
650 2 4 _aProgramming Techniques.
_9137502
650 2 4 _aCompilers and Interpreters.
_931853
650 2 4 _aIT Operations.
_931703
700 1 _aVardanega, Tullio.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9137503
700 1 _aWellings, Andy.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9137504
710 2 _aSpringerLink (Online service)
_9137505
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540262862
776 0 8 _iPrinted edition:
_z9783540812135
830 0 _aProgramming and Software Engineering,
_x2945-9168 ;
_v3555
_9137506
856 4 0 _uhttps://doi.org/10.1007/b137344
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c92593
_d92593