3911 search results - page 109 / 783 » Using Operational Architecture to Model Embedded Software |
117
Voted
ICRA
2005
IEEE
15 years 10 months ago
2005
IEEE
— The aim of this paper is to provide a unified language for modeling both control software and physical plants in real time control systems. This is done by embedding the bond ...
138
click to vote
ENTCS
2008
15 years 5 months ago
2008
Hybrid Chi is a process algebra for the modeling and analysis of hybrid systems. It enables modular specification of hybrid systems by means of a large set of atomic statements an...
155
click to vote
ICTAC
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Separation kernels are key components in embedded applications. Their small size and widespread use in high-integrity environments make them good targets for formal model...
156
click to vote
EUROSYS
2011
ACM
14 years 8 months ago
2011
ACM
We argue that controlling energy allocation is an increasingly useful and important feature for operating systems, especially on mobile devices. We present two new low-level ions ...
136
click to vote
ICCS
2003
Springer
15 years 10 months ago
2003
Springer
Interprocess communication (IPC) is an important phenomenon in distributed computing and operating systems. Microkernels of modern operating systems use synchronous IPC semantics f...