Handling index-out-of-bounds in safety-critical embedded C code using model-based development
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1619-1374
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
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
- Creator
-
Blache, Gunter
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10270-018-0697-y
- URN
-
urn:nbn:de:101:1-2018111723212266883618
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:53 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Blache, Gunter
- SpringerLink (Online service)
Other Objects (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