Handling index-out-of-bounds in safety-critical embedded C code using model-based development
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1619-1374
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
Handling index-out-of-bounds in safety-critical embedded C code using model-based development ; day:9 ; month:10 ; year:2018 ; pages:1-13
Software and systems modeling ; (9.10.2018), 1-13
- Urheber
-
Blache, Gunter
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s10270-018-0697-y
- URN
-
urn:nbn:de:101:1-2018111723212266883618
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:53 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Blache, Gunter
- SpringerLink (Online service)
Ähnliche Objekte (12)
Empirical evaluations of safety-critical embedded systems
Design patterns for safety-critical embedded systems
Cooperative Memory Management in Safety-Critical Embedded Systems
Modular model-based development of safety-critical flight control software
Model-based temperature monitoring for broaching safety-critical aero engine components
A layered approach to polygon processing for safety-critical embedded systems
Memory Protection at Option : Application-Tailored Memory Safety in Safety-Critical Embedded Systems
Efficient Handling of Tuples with Embedded Large Objects
Model-based Design of Embedded Systems by Desynchronization
MODES: model-based optimization on distributed embedded systems
A Systematic and Agile Approach to Developing DO-178C Compliant Model-Based Safety-Critical Software
Memory protection at option : application-tailored memory safety in safety-critical embedded systems = Speicherschutz nach Wahl
Empirical evaluations of safety-critical embedded systems
Design patterns for safety-critical embedded systems
Cooperative Memory Management in Safety-Critical Embedded Systems
Modular model-based development of safety-critical flight control software
Model-based temperature monitoring for broaching safety-critical aero engine components
A layered approach to polygon processing for safety-critical embedded systems
Memory Protection at Option : Application-Tailored Memory Safety in Safety-Critical Embedded Systems
Efficient Handling of Tuples with Embedded Large Objects
Model-based Design of Embedded Systems by Desynchronization
MODES: model-based optimization on distributed embedded systems
A Systematic and Agile Approach to Developing DO-178C Compliant Model-Based Safety-Critical Software
Memory protection at option : application-tailored memory safety in safety-critical embedded systems = Speicherschutz nach Wahl
Empirical evaluations of safety-critical embedded systems
Design patterns for safety-critical embedded systems
Cooperative Memory Management in Safety-Critical Embedded Systems
Modular model-based development of safety-critical flight control software
Model-based temperature monitoring for broaching safety-critical aero engine components
A layered approach to polygon processing for safety-critical embedded systems
Memory Protection at Option : Application-Tailored Memory Safety in Safety-Critical Embedded Systems
Efficient Handling of Tuples with Embedded Large Objects
Model-based Design of Embedded Systems by Desynchronization
MODES: model-based optimization on distributed embedded systems
A Systematic and Agile Approach to Developing DO-178C Compliant Model-Based Safety-Critical Software