[BOOK][B] Software engineering for embedded systems: Methods, practical techniques, and applications
R Oshana, M Kraeling - 2019 - books.google.com
… As editors of this Second Edition focusing on embedded systems, it is remarkable how
many features of embedded systems have changed since the First Edition. What is also …
many features of embedded systems have changed since the First Edition. What is also …
Embedded software
EA Lee - Advances in computers, 2002 - Elsevier
… physicality of embedded software as messy. Consequently, the design of embedded software
has … Instead of using object modeling, polymorphic-type systems, and automated memory …
has … Instead of using object modeling, polymorphic-type systems, and automated memory …
[BOOK][B] Real-time software design for embedded systems
H Gomaa - 2016 - books.google.com
… Describes in considerable detail a concurrent object-oriented analysis and design method
for real-time and embedded software that is suitable for use in large and complex industrial …
for real-time and embedded software that is suitable for use in large and complex industrial …
[BOOK][B] Advanced techniques for embedded systems design and test
… Co-design explores reasonable implementations of a specific system by combining
hardware and software solutions. The co-design process must evaluate the numerous …
hardware and software solutions. The co-design process must evaluate the numerous …
A design and test technique for embedded software
B Kang, YJ Kwon, RY Lee - … ACIS Int'l Conference on Software …, 2005 - ieeexplore.ieee.org
… revealing errors of embedded software in applications are rising, we propose a test method
and tools … In this paper, we propose a design method and an architecture style for embedded …
and tools … In this paper, we propose a design method and an architecture style for embedded …
[BOOK][B] Model-based design for embedded systems
G Nicolescu, PJ Mosterman - 2018 - books.google.com
… proposed technology to the design of a wireless system, a 3G WCDMA/FDD base-station.
Chapter 8 presents a novel methodology for embedded software design based on a parallel …
Chapter 8 presents a novel methodology for embedded software design based on a parallel …
Hardware-software co-design of embedded systems
WH Wolf - Proceedings of the IEEE, 2002 - ieeexplore.ieee.org
… We will use the embedded system design process as a framework for the study of co-design. …
Embedded software can usually be thought of as a system of communicating processes, …
Embedded software can usually be thought of as a system of communicating processes, …
Platform-based design and software design methodology for embedded systems
A Sangiovanni-Vincentelli… - IEEE Design & Test of …, 2001 - ieeexplore.ieee.org
… The framework will handle both embedded software and hardware designs, and …
embedded-system design methodology. We advocate a holistic approach that includes …
embedded-system design methodology. We advocate a holistic approach that includes …
The embedded systems design challenge
TA Henzinger, J Sifakis - International Symposium on Formal Methods, 2006 - Springer
… some current trends in embedded systems design and point out … scientific foundation for
embedded systems design, and we … in design. We believe that the development of a satisfactory …
embedded systems design, and we … in design. We believe that the development of a satisfactory …
Specification and design of embedded hardware-software systems
… To investigate issues during the design process, we model different parts of the system at
different abstraction levels. This … For embedded software and/or hardware systems, a new …
different abstraction levels. This … For embedded software and/or hardware systems, a new …