Embedded software: Better models, better code
From MaRDI portal
Recommendations
- An approach to designing safe embedded software
- Embedded software and systems: Challenges and approaches. (Abstract)
- Model-driven architecture for embedded software: A synopsis and an example
- Embedded software: Challenges and opportunities
- Using multiple levels of abstractions in embedded software design
Cited in
(20)- Introduction to the special issue on software technologies for embedded and ubiquitous systems
- Distributed implementation of a process-algebra based programming language for embedded systems
- Study on design method of embedded adaptive safety critical middleware
- Approximating Behaviors in Embedded System Design
- The role of concept, context, and component for dependable software development
- On the polychronous approach to embedded software design
- An approach to designing safe embedded software
- Upgrading embedded software in the field: Dependability and survivability
- Physical programming: Beyond mere logic
- scientific article; zbMATH DE number 2062238 (Why is no real title available?)
- Verification of embedded software: Problems and perspectives
- Using multiple levels of abstractions in embedded software design
- Hierarchical approach for design of multi-vehicle multi-modal embedded software
- Modeling real-time systems -- challenges and work directions
- Embedded software: Challenges and opportunities
- Embedded software for video
- Embedded software and systems: Challenges and approaches. (Abstract)
- On the combination of assertions and virtual prototyping for the design of safety-critical systems
- Finite state machine modeling and its application in embedded design
- Embedded control software design with aspect patterns
This page was built for publication: Embedded software: Better models, better code
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5712356)
