Model Based Tool Chain for System Design and System Integration of IMA (Englisch)
- Neue Suche nach: Khoroshilov, A.
- Neue Suche nach: Koverninskiy, I.
- Neue Suche nach: Olshanskiy, M.
- Neue Suche nach: Khoroshilov, A.
- Neue Suche nach: Koverninskiy, I.
- Neue Suche nach: Olshanskiy, M.
In:
CIRED workshop
593
;
P10
;
2012
-
ISBN:
- Aufsatz (Konferenz) / Print
-
Titel:Model Based Tool Chain for System Design and System Integration of IMA
-
Beteiligte:
-
Kongress:CIRED workshop ; 2012 ; Lisbon
-
Erschienen in:CIRED workshop , 593 ; P10IET CONFERENCE PUBLICATION , 593 ; P10
-
Verlag:
- Neue Suche nach: IET
-
Erscheinungsort:[Stevenage]
-
Erscheinungsdatum:01.01.2012
-
Format / Umfang:P10
-
Anmerkungen:Held on 1 USB flash drive; Held in e-store (RMS); Includes bibliographical references
-
ISBN:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Print
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
-
Integrated Modular Avionics for Spacecraft Software Architecture and RequirementsDeredempt, M.-H. / Rossignol, A. / Windsor, J. et al. | 2012
-
System Impact of Distributed Multicore SystemsPatte, M. / Crespo, A. / Zulianello, M. et al. | 2012
-
ARPHA: An Innovative On-Board FDIR Reasoning Engine for Autonomous SystemGuiotto, A. / Portinale, L. / Codetta-Raiteri, D. / Yushtein, Y. et al. | 2012
-
Verifying Real-Time Properties of Model-Based and Event-Driven On-Board Software for SGEOWortmann, A. / Machel, G. / Holsti, N. et al. | 2012
-
Fast Fourier Transform Co-Processor (FFTC) - Towards Embedded GFLOPsKuehl, C. / Liebstueckel, U. / Tejerina, I. et al. | 2012
-
Management of the ESA Tracking Network - Load Forecasts and Mission InterfacesDreihahn, H. / di Giulio, M. et al. | 2012
-
An I/O Building Block for the IMA Space Reference ArchitectureSilva, C. / Cristovao, J. / Schoofs, T. et al. | 2012
-
GR712RC - Dual-Core Processor - Product StatusSturesson, F. / Habinc, S. / Gaisler, J. et al. | 2012
-
Multicore Systems: Challenges for Creating a Representative Fault Model for Fault InjectionSilva, N. / Barbosa, R. / Lanzaro, A. et al. | 2012
-
SSIART: Opening the Way to Wireless Sensor Networks On-Board Spacecraft with an Inter-Agency Research EnvironmentGunes-Lasnet, S. / Dufour, J.-F. et al. | 2012
-
Space Serial Bus for Applications Based on Multiple Low-Cost & Low-Resources DevicesCarnicer, J.M. / Elvira, S. / Sanchez, J. et al. | 2012
-
FDIR: To Increase the Reuse of the DesignAlison, B. / Parent, L. / Provost-Grellier, A. / De-Ferluc, R. et al. | 2012
-
Towards Application of NASA Standard for Models and Simulations in Aeronautical Design ProcessVincent, L. / Dunyach, J.-C. / Huet, S. et al. | 2012
-
Optical Communication for Coping the UAS Data DelugeGriethe, W. / Heine, F. / Seel, S. / Alberty, T. et al. | 2012
-
Way Forward for High Performance Payload Processing DevelopmentNotebaert, O. / Franklin, J. / Lefftz, V. et al. | 2012
-
``DMS-R, the Brain of the ISS'', 10 Year of Continuous Successful Operation in SpaceWolff, B. / Scheffers, P. et al. | 2012
-
RC64: A Many-Core High-Performance Digital Signal Processor for Space ApplicationsGinosar, R. / Aviely, P. / Liran, T. et al. | 2012
-
Model Based Tool Chain for System Design and System Integration of IMAKhoroshilov, A. / Koverninskiy, I. / Olshanskiy, M. et al. | 2012
-
Time and Space Partitioning Computational ModelCrespo, A. / Masmano, M. / Coronel, J. et al. | 2012
-
Reference Specifications for SAVOIR Avionics ElementsHult, T. / Lindskog, M. / Roques, R. et al. | 2012
-
SoCKET: A HW/SW Co-Design Flow: Presentation & Feedbacks from Space Application DomainLefftz, V. / Lachaize, J. et al. | 2012
-
The Component Layer of Cordet On-Board Software ArchitectureRodriguez, A.-I. / Ferrero, F. / Alana, E. et al. | 2012
-
Concept and Design of the Hybrid Sensor Bus System for Telecommunication SatellitesHurni, A. / Tiefenbeck, C. / Manhart, M. et al. | 2012
-
Nine Degrees-of-Freedom Parachute Model for Exomars Entry Descent and LandingCalantropio, F. / Langlois, S. / Portigliotti, S. et al. | 2012
-
FDIR and OBSM in IMA for SpaceParisis, P. / Quartier, F. / Deredempt, M. et al. | 2012
-
Advanced GPS Galileo ASIC (AGGA-4) - Enabling Next Generation of Navigation ReceiversSyed, M. / Tejerina, I. / Heim, J. et al. | 2012
-
Software Failure Propagation Prevention: Prevention of Failure Propagation between Software of Different Criticality CategoriesHann, M. / Wellings, A. / Audsley, N. / Dapena, P.R. et al. | 2012
-
Potentials of Constraint-Based Methods in Software Verification and ValidationGerlich, R. et al. | 2012
-
A Fexible VHDL Floating Point Module for Control Algorithm Implementation in Space ApplicationsPadierna, A. / Nicoleau, C. / Sanchez, J. et al. | 2012
-
Flight Model of the `Flying Laptop' OBC and Reconfiguration UnitEickhoff, J. / Stratton, S. / Butz, P. et al. | 2012
-
A Lightweight Communication Protocol for Embedded SystemsLatorre, A. / Pulido, J.A. / Valle, C. et al. | 2012
-
SCOC3: A Brand New Heart for Space MissionsPoupat, J.-L. / Lefevre, A. et al. | 2012
-
An Integrated Approach to Functional Engineering: An Engineering Database for Harness, Avionics and SoftwarePiras, A. / Malucchi, G. et al. | 2012
-
Development of a Functional Prototype of the Quad Core NGMP Space ProcessorAndersson, J. / Hjorth, M. / Habinc, S. / Gaisler, J. et al. | 2012
-
Multi-Core Technology for and Fault Tolerant High-Performance Spacecraft Computer SystemsBehr, P.M. / Haulsen, I. / Van Kampenhout, J.R. / Pletner, S. et al. | 2012
-
AMBA APB Multi-Master Architecture in Low Resource FPGAArteaga, R. / Sanchez, J. et al. | 2012
-
Testing Concepts of Advanced Rad-Hard SoCLiran, T. / Ginosar, R. / Dobkin, R. / Alon, D. et al. | 2012
-
Automated Generation of FDIR for the Compass Integrated Toolset (AUTOGEF)Alana, E. / Naranjo, H. / Yushtein, Y. et al. | 2012
-
Towards the Resolution of a Modeling Challenge for Space Systems: Focus on View Points and Still Ensure Global ConsistencyFaudou, R. / Cortier, A. / Charmeau, M.C. / Poupart, E. et al. | 2012
-
DSPACE: A New Space DSP DevelopmentErrico, W. / Colonna, A. / Piscopiello, G. et al. | 2012
-
Evolution from Packet Utilisation to Mission Operation ServicesCooper, S. / Fowell, S.D. et al. | 2012
-
Centralised Software Architecture with Star Tracker ProcessingMoreno, C. / Zigliara, F. / Veran, G. / Duhart, F. et al. | 2012
-
Assessment of the CESAR Reference Technology Platform for Space SystemsBlanquart, J.-P. / Rossignol, A. / Rugina, A.-E. et al. | 2012
-
Survey of Processors for SpaceGinosar, R. et al. | 2012
-
Development of a New Multiport SpaceWire RouterHabinc, S. / Isomaki, M. et al. | 2012
-
MOST: Modeling of Spacewire TrafficDellandrea, B. / Siegle, F. / Fourtier, P. / Jameux, D. et al. | 2012
-
Component Based Engineering and Multi-Platform Deployment for Nanosatellite On-Board SoftwarePolo, O.R. / Parra, P. / Knoblauch, M. et al. | 2012
-
A Model-Based Development Process for Development and Reuse of Components in On-Board Space ApplicationsHansen, F.O. / Hougaard, P. / Larsen, P.G. / Casperen, G. et al. | 2012
-
Deployment of the Space Internet on a Spacecraft: Hosting CFDP and/or DTN Protocol Engines and the Resulting Resource UtilizationFowell, S.D. / McLaren, D. / Paramanantham, D. et al. | 2012
-
QERx - A Faster than Real-Time Emulator for Space ProcessorsCarvalho, B. / Pidgeon, A. / Robinson, P. et al. | 2012
-
High Definition Video Camera (HDVCA) for ColumbusJanke, T. / Frerker, H. / Matthias, M. et al. | 2012
-
Intermediate Experimental Vehicle (IXV): Avionics and Software of the ESA Reentry DemonstratorMalucchi, G. / Dussy, S. / Camuffo, F. et al. | 2012
-
The Pleiades Optical High Resolution Program: Main Returns on Command and Control ArchitectureViallefont, P. et al. | 2012
-
ESA Roadmap for IMA Spin-In to Spacecraft AvionicsHiller, M. / Windsor, J. / Eckstein, K. et al. | 2012
-
Time and Space Partition Platform for Safe and Secure Flight SoftwareEsquinas, A. / Zamorano, J. / de la Puente, J.A. et al. | 2012
-
Cache Management Techniques for Time Isolation in Partitioned SystemsSoler, M. / Crespo, A. / Masmano, M. / Llorca-Cejudo, R. et al. | 2012
-
Next Generation RadSafeTM Technology for SoCsLiran, T. / Ginosar, R. / Alon, D. et al. | 2012
-
SEISES: A Process Framework for Safe and Secure Aerospace SystemsBieber, P. / Blanquart, J.-P. / Descargues, G. et al. | 2012
-
Wireless Avionics for a Solar Sailer (GOSSAMER-I)Toth, N. / Dannemann, F. / Montenegro, S. et al. | 2012
-
A Novel Solid-State Video Recorder for the Columbus ISS ModuleRakers, S. / Janke, T. / Gronowski, M. et al. | 2012
-
Deep Sub Micron 65nm Program - Perspectives for the Next Generation SatellitesHili, L. / Dugoujon, L. / Roche, P. et al. | 2012
-
Implementation of SOIS in TASTEDelange, J. / Torelli, F. / Terraillon, J.-L. et al. | 2012
-
SOIS Support for Onboard Device Virtualisation and the Use of Electronic Data SheetsFowell, S.D. / Taylor, C. / Torelli, F. et al. | 2012
-
Early Validation of Failure Detection, Isolation, and Recovery Design Using Heterogeneous Modelling and Simulationvan der Plas, P. / Guerriero, S. / Leorato, C. / Rugina, A. et al. | 2012
-
A Model-Based and Event-Driven On-Board Software Architecture for SGEOWortmann, A. / Machel, G. / Gunther, L. / Schumann, D. et al. | 2012
-
Application Task Virtualization Platform for Spacecraft Computer Flight SoftwareJeong, H. / Yoon, Y. / Joe, H. et al. | 2012
-
Towards the Definition of ESA's Future OBCP Building BlockFerraguto, M. / Johansson, J. / Jurva, K. et al. | 2012