| 000 | 02535nam a22003735i 4500 | ||
|---|---|---|---|
| 001 | vtls001950903 | ||
| 003 | NLI | ||
| 005 | 20210630063416.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 170531s2015 gw | s |||| 0|eng d | ||
| 020 |
_a9783319195841 _9978-3-319-19584-1 |
||
| 039 | 9 |
_y201705311327 _zgopag |
|
| 041 | 0 | _aeng | |
| 044 | _agw | ||
| 245 | 1 | 0 |
_aReliable Software Technologies - Ada-Europe 2015 _h[electronic resource] : _b20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings / _cedited by Juan Antonio de la Puente, Tullio Vardanega. |
| 260 |
_aCham : _bSpringer International Publishing, _c2015. |
||
| 300 | _a1 online resource (XIV, 229 p. 68 ill.) | ||
| 440 | 0 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v9111 _9833933 |
|
| 505 | 0 | _aA Safety Concept for an IEC-61508 Compliant Fail-Safe Wind Power Mixed-Criticality System Based on Multicore and Partitioning -- The Central on-Board Computer of the Philae Lander in the Context of the Rosetta Space Mission.- Extensible Debugger Framework for Extensible Languages -- Static Backward Program Slicing for Safety-Critical Systems.- A Novel Run-Time Monitoring Architecture for Safe and Efficient Inline Monitoring.- Schedulability Analysis of PWM Tasks for the UPMSat-2 ADCS -- Guaranteeing Timing Requirements in the IXV on-Board Software.- Maintenance of Reliable Distributed Applications with Open-Source Middleware: Fifteen Years Later.- The CONCERTO Methodology for Model-Based Development of Avionics Software.- From AADL Model to LNT Specification.- Using Sensitivity Analysis to Facilitate the Maintenance of Safety Cases.- Challenges in the Implementation of MrsP -- An Execution Model for Fine-Grained Parallelism in Ada -- AFDX Emulator for an ARINC-Based Training Platform. | |
| 650 | 0 | _aComputer science. | |
| 650 | 0 |
_aSpecial purpose computers. _91048039 |
|
| 650 | 0 | _aSoftware engineering. | |
| 650 | 0 | _aProgramming languages (Electronic computers). | |
| 650 | 0 | _aComputer logic. | |
| 650 | 0 | _aMathematical logic. | |
| 700 | 1 |
_ade la Puente, Juan Antonio, _4edt _91307941 |
|
| 700 | 1 |
_aVardanega, Tullio, _4edt _91038588 |
|
| 856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/978-3-319-19584-1 |
| 887 | _a Gopa | ||
| 905 | _aGopa | ||
| 949 |
_AVIRTUAITEM _D10000 _X206 _6EBK000025689ENG _eEBK25689 |
||
| 942 |
_2ddc _cBKS |
||
| 999 |
_aVIRTUA _c1373473 _d1373473 |
||
| 999 | _aVTLSSORT0070*0080*0200*0410*0440*2450*2600*3000*4400*5050*6500*6501*6502*6503*6504*6505*7000*7001*8560*9050*9992 | ||