Learn More
Existing operating systems can manage the execution of software tasks efficiently, however the manipulation of hardware tasks is very limited. In the research on the design and implementation of an embedded operating system that manages both software and hardware tasks in the same framework, two major issues are the dynamic scheduling and the dynamic(More)
With the computerization of most daily-life amenities such as home appliances, the software in a real-time embedded system now accounts for as much as 70% of a system design. On one hand, this increase in software has made embedded systems more accessible and easy to use, while on the other hand, it has also necessitated further research on how complex(More)
Concurrent Embedded Real-Time Software (CERTS) is intrinsically di€erent from traditional, sequential, independent , and temporally unconstrained software. The veri®cation of software is more complex than hardware due to inherent ¯exibilities (dynamic behavior) that incur a multitude of possible system states. The veri®cation of CERTS is all the more(More)
The current technology of verification engineering requires well-trained personnels in logics and automaton theory , who carefully tune their verification packages, to tame the well-known state-space explosion problem. Several researches have resulted in a large number of techniques for reducing the system state-space, such as symmetry-based reductions,(More)
Currently, a lot of research is devoted to <italic>system design</italic>, and little work is done on <italic>requirements analysis</italic>. Besides going from specification to design, one of our main objectives is to show how an application problem can be transformed into specifications. Working from the hardware-software codesign perspective, a system is(More)