Guidelines for Modelling the ARINC 653 Software Architecture (English)
- New search for: Lopez, R.
- New search for: Casas, N.
- New search for: Fornis, J.
- New search for: European Space Agency
- New search for: Lopez, R.
- New search for: Casas, N.
- New search for: Fornis, J.
- New search for: Ouwehand, L.
- New search for: European Space Agency
In:
Data systems in aerospace DASIA
665
;
14
;
2008
-
ISBN:
-
ISSN:
- Conference paper / Print
-
Title:Guidelines for Modelling the ARINC 653 Software Architecture
-
Contributors:Lopez, R. ( author ) / Casas, N. ( author ) / Fornis, J. ( author ) / Ouwehand, L. / European Space Agency
-
Conference:Conference, Data systems in aerospace DASIA ; 2008 ; Palma de Majorca, Spain
-
Published in:Data systems in aerospace DASIA , 665 ; 14EUROPEAN SPACE AGENCY -PUBLICATIONS- ESA SP , 665 ; 14
-
Publisher:
- New search for: ESA Communication Production Office
-
Place of publication:Noordwijk
-
Publication date:2008-01-01
-
Size:14 pages
-
Remarks:Held in e-store (RMS)
-
ISBN:
-
ISSN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
-
Keywords:
-
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 10
-
Processes and Concepts Toward Secure Communications for ESA MissionsHerrgott, G. / Russell, J. / Sanchez, I.A. / Notebaert, O. / European Space Agency et al. | 2008
- 3
-
SpaceWire: A Long Haul Strategy for ESAArmbruster, P. / Suss, M. / European Space Agency et al. | 2008
- 47
-
The New Payload Handling System for the German On-Orbit Verification Satellite TET with the Sensor Bus as Example for PayloadsHeyer, H.-V. / Turk, M. / Schlicker, M. / European Space Agency et al. | 2008
- 27
-
Automated Verification of Code Generated from Models: Comparing Specifications with ObservationsGerlich, R. / Sigg, D. / European Space Agency et al. | 2008
- 1
-
Developing operational spacecraft simulators. An engineering domain between aerospace and software engineering principlesSarkarati, Mehran / Spada, Mariella / Verrier, David / Jones, M. et al. | 2008
- 51
-
AIV Platform for the Galileo Precise Timing FacilityOving, B.A. / Kroon, E. / European Space Agency et al. | 2008
- 13
-
SpaceWire on FPGA - Challenges and SolutionsCook, B.M. / Walker, C.P.H. / European Space Agency et al. | 2008
- 64
-
CREST Autonomous Robotic Scientist: Developing a Closed-Loop Science Exploration Capability for European Mars MissionsWoods, M. / Shaw, A. / Ward, R. / European Space Agency et al. | 2008
- 60
-
Advanced System-on-Chip Design with In-Flight Reconfigurable Processing Cores for Space ApplicationsOsterloh, B. / Michalik, H. / Fiethe, B. / Kotarowski, K. / European Space Agency et al. | 2008
- 1
-
The Spanish Space Programme in the European ContextReig, J.L. / European Space Agency et al. | 2008
- 18
-
Radiation Hard 0.25 Micron CMOS Library at IHPJagdhold, U. / European Space Agency et al. | 2008
- 24
-
ESA's Spacecraft Avionics Development Platform - RASTAHabinc, S. / Gaisler, J. / Monteleone, C. / Taylor, C. / European Space Agency et al. | 2008
- 9
-
The Operations Security Concept for Future ESA Earth Observation MissionsFischer, D. / Bargellini, P. / Merri, M. / European Space Agency et al. | 2008
- 2
-
Optical Payload Interface Unit for Telecommand and Telemetry of Satellite Payload EquipmentHespeler, B. / Kurz, R. / European Space Agency et al. | 2008
- 58
-
MAX - A Simulator of the Ground Station Equipment Monitoring and Control Based on SIMSAT and SMP2 Compliant ModelsLannes, C. / European Space Agency et al. | 2008
- 62
-
Mission Automation and Mission Planning and how to Combine themSchurig, C. / Morales, J. / Reggestad, V. / European Space Agency et al. | 2008
- 17
-
SysML: A Language for Space System EngineeringMazzini, S. / Stragapede, A. / European Space Agency et al. | 2008
- 23
-
ESA Communication Standards: Status, Evolution and Prototyping ActivitiesTaylor, C. / European Space Agency et al. | 2008
- 25
-
NAND-Flash Memory Technology in Mass Memory Systems for Space ApplicationsCassel, M. / Staehle, M. / Roos, P. / European Space Agency et al. | 2008
- 4
-
Dependability and Safety Issues for Aerospace Software: A Systematic ApproachVozella, A. / D Anna, G. / Gigante, G. / European Space Agency et al. | 2008
- 5
-
FDIR Strategy Validation with the B MethodSabatier, D. / Dellandrea, B. / Chemouil, D. / European Space Agency et al. | 2008
- 6
-
TopNet Pilot Operation Implementation: A first Step to Virtual Satellite IntegrationHonvault, C. / Vitulli, R. / European Space Agency et al. | 2008
- 7
-
Remote Integration of SpaceWire Units Using Topnet TechnologyDetheve, S. / Estaves, G. / Esposti, L. / European Space Agency et al. | 2008
- 8
-
Evaluating the Benefits of Virtual Satellite Integration with SpaceWireMills, S. / Parkes, S. / Vitulli, R. / European Space Agency et al. | 2008
- 11
-
SpaceWire Remote Terminal ControllerIlstad, J. / Gasti, W. / Habinc, S. / European Space Agency et al. | 2008
- 12
-
SpaceWire Remote Terminal Controller (RTC) Development SuiteHabinc, S. / European Space Agency et al. | 2008
- 14
-
Guidelines for Modelling the ARINC 653 Software ArchitectureLopez, R. / Casas, N. / Fornis, J. / European Space Agency et al. | 2008
- 15
-
AADL Modes for Space SoftwareRolland, J.-F. / Filali, M. / Bodeveix, J.P. / European Space Agency et al. | 2008
- 16
-
Offline Interoperability, Cost Reduction and Reliability for Operational Procedures Using Meta-Modeling TechnologyPoupart, E. / Percebois, C. / Palanque, C. / European Space Agency et al. | 2008
- 19
-
PUS Services Software Building Block Automatic Generation for Space MissionsCandia, S. / Sgaramella, F. / Mele, G. / European Space Agency et al. | 2008
- 20
-
Should PUS Standard Evolve?Fourtier, P. / Nodet, J. / Garcia, G. / European Space Agency et al. | 2008
- 21
-
The COLE System-on-Chip and its Software Development EnvironmentHult, T. / Sandin, P. / Rynas, A. / Karlsson, A. / European Space Agency et al. | 2008
- 22
-
ReSP: A Design and Validation Tool for Data SystemsBeltrame, G. / Fossati, L. / European Space Agency et al. | 2008
- 26
-
Advanced Mass Memory Concept DevelopmentSanchez, A.V. / Furano, G. / Tejedor, N.G. / European Space Agency et al. | 2008
- 28
-
Gene-Auto: Automatic Software Code Generation for Real-Time Embedded SystemsRugina, A.-E. / Thomas, D. / Olive, X. / Veran, G. / European Space Agency et al. | 2008
- 29
-
Integrated Development, Verification and Validation Approach for Space Systems Using Autocoding TechniquesBarrena-Perez, V. / Colmenarejo-Matellano, P. / Modrego-Contreras, D. / European Space Agency et al. | 2008
- 30
-
High Throughput Bent-Pipe Processor DemonstratorTabacco, P. / Vernucci, A. / Russo, L. / European Space Agency et al. | 2008
- 31
-
The Italian Optical Telecommunications Payload: Breadboard ResultsBonino, L. / Caramia, M. / Catalano, V. / European Space Agency et al. | 2008
- 32
-
CCSDS SOIS Subnetwork Services: A First Reference ImplementationGunes-Lasnet, S. / Notebaert, O. / Farges, P.-Y. / Fowell, S. / European Space Agency et al. | 2008
- 33
-
ECSS and SOIS Standard Services for Communications over a 1553B BusNotebaert, O. / Gunes-Lasnet, S. / Farges, P.-Y. / European Space Agency et al. | 2008
- 34
-
The SOIS Plug-and-Play Architecture and its Proposed Mapping onto SpaceWireFowell, S.D. / Taylor, C. / European Space Agency et al. | 2008
- 35
-
Development of Real-Time AOCS Application on LEON Environment - Multi-Head Attitude Determination SystemCaramia, M. / Bacchetta, A. / European Space Agency et al. | 2008
- 36
-
LEONDARE - SPARC V8 Processor with High-Speed FPU and MMUSomerlinck, P. / Habinc, S. / Gaisler, J. / European Space Agency et al. | 2008
- 37
-
Hardware Accelerated LEON2-FT Simulator (TSIM-HW)Habinc, S. / Gaisler, J. / Monteleone, C. / European Space Agency et al. | 2008
- 38
-
The ASSERT Virtual Machine Kernel: Support for Preservation of Temporal PropertiesZamorano, J. / de la Puente, J.A. / Pulido, J.A. / Uruena, S. / European Space Agency et al. | 2008
- 39
-
A Component-Oriented Framework for Spacecraft On-Board SoftwareProchazka, M. / Ward, R. / Tuma, P. / European Space Agency et al. | 2008
- 40
-
The SPaCIFY ProjectChemouil, D. / European Space Agency et al. | 2008
- 41
-
RTEMS CENTRE- Support and Maintenance CENTRE to RTEMS Operating SystemSilva, H. / Constantino, A. / Zulianello, M. / European Space Agency et al. | 2008
- 42
-
xLuna - Demonstrator on ESA Mars RoverBraga, P. / Henriques, L. / Carvalho, B. / European Space Agency et al. | 2008
- 43
-
AMOBA - ARINC 653 Simulator for Modular Based Space ApplicationsPascoal, E. / Rufino, J. / Schoofs, T. / Windsor, J. / European Space Agency et al. | 2008
- 44
-
Test Analysis Tools to Ensure Higher Quality of On-Board Real Time Software for Space ApplicationsBoudillet, O. / Mescam, J.C. / Dalemagne, D. / European Space Agency et al. | 2008
- 45
-
GOCE Platform OBSW ISVV Test Campaign - Blending Demanding Standards with AgilityGarcia, J.Q. / European Space Agency et al. | 2008
- 46
-
Building the Qualification File of EGNOS with DOORSFabre, J. / European Space Agency et al. | 2008
- 48
-
Use of On-Board File System: A Real Simplification for the Operators?Olive, X. / Garcia, G. / Alison, B. / Charmeau, M.C. / European Space Agency et al. | 2008
- 49
-
CCSDS File Delivery Protocol for Future ESA MissionsDemonceau, L. / Parisis, P. / Ciccone, M. / European Space Agency et al. | 2008
- 50
-
GALILEO Signal In Space Triple Carrier four Space Vehicle SimulatorTabacco, P. / Vernucci, A. / Cornacchini, C. / European Space Agency et al. | 2008
- 52
-
Galileo ``Message Generation Facility'' - Safety-Critical and Real-TimeLatorre, A. / Mora, A. / Palomo, P. / European Space Agency et al. | 2008
- 53
-
Validation and Training at the Erasmus-USOC Using Payload SimulatorsCornelissen, F. / Wormgoor, P. / European Space Agency et al. | 2008
- 54
-
Long Range Validation of ATV-ISS Rendez-Vous and Docking Using EPOSxSchreutelkamp, E. / European Space Agency et al. | 2008
- 55
-
Views and Trends in Simulator DesignBeerthuizen, P. / de Vries, R. / Plevier, C. / European Space Agency et al. | 2008
- 56
-
EXOMARS Composite Avionics Description and its Validation on the Test BenchesMontagna, M. / Capuano, M. / Cassi, C. / European Space Agency et al. | 2008
- 57
-
Flight Software Missionization Tool for Ariane 5Bouchet, A. / de Juan, E.C. / European Space Agency et al. | 2008
- 59
-
Developing Operational Spacecraft SimulatorsSarkarati, M. / Spada, M. / Verrier, D. / Jones, M. / European Space Agency et al. | 2008
- 61
-
COMU: Multi Mission Tool and InteroperabilityBenhamou, M. / Mougnaud, P. / European Space Agency et al. | 2008
- 63
-
An Integrated Solution to Satellite Control Center Operational IssuesBetti, M. / European Space Agency et al. | 2008
- 65
-
Eurobot Underwater Model Control System Overview & Tests ResultsMerlo, A. / Battistoni, G. / Pensavalle, E. / Didot, F. / European Space Agency et al. | 2008
- 66
-
Full Java Implementation of Generic GIS Functionalities for Pleiades G/SLallemant, J.-C. / Boutonnet, G. / European Space Agency et al. | 2008
- 67
-
OCTAVE: A Data Model-Driven Monitoring and Control System in Accordance with Emerging CCSDS Standards such as XTCE and SM&C ArchitectureCortiade, E. / Cros, P.-A. / Poupart, E. / Fournier, D. / European Space Agency et al. | 2008
- 68
-
Modelling the Space Domain: Domain Engineering for Avionics/Embedded SystemsRodriguez, A.-I. / Rodriguez, P. / Vera, I.-L. / Alana, E. / European Space Agency et al. | 2008
- 69
-
Component Oriented Development Techniques: Assessing a Domain Engineering Approach to Space Software EngineeringPlanche, L. / European Space Agency et al. | 2008
- 70
-
CORDETS (Component Oriented Development Techniques) and DOMENG (Domain Engineering)Rodriguez-Dapena, P. / European Space Agency et al. | 2008