-
1
-
-
0036496584
-
HARTEX - A safe real-time Kernel for distributed computer control systems
-
March
-
Angelov, C., Ivanov, I., Burns, I.: HARTEX - a Safe Real-Time Kernel for Distributed Computer Control Systems. Software: Practice and Experience, vol. 32, N 3, March (2002) 209-232
-
(2002)
Software: Practice and Experience
, vol.32
, Issue.3
, pp. 209-232
-
-
Angelov, C.1
Ivanov, I.2
Burns, I.3
-
3
-
-
18944362487
-
A software framework for component-based embedded applications
-
November
-
Angelov, C., Sierszecki, K.: A Software Framework for Component-Based Embedded Applications. To be presented to APSEC'2004, November (2004)
-
(2004)
APSEC'2004
-
-
Angelov, C.1
Sierszecki, K.2
-
4
-
-
18944373292
-
Function unit specification in a timed multitasking environment
-
Paris, France, December
-
Angelov, C., Berthing, C., Sierszecki, C., Marian, N.: Function Unit Specification in a Timed Multitasking Environment. To be presented to ICSSEA'2004, Paris, France, December (2004)
-
(2004)
ICSSEA'2004
-
-
Angelov, C.1
Berthing, C.2
Sierszecki, C.3
Marian, N.4
-
5
-
-
0028320702
-
-
Burns, A., Wellings, A.J.: HRT-HOOD: A Design Method for Hard Real-Time Ada. Real-Time Systems, vol. 6, No 1 (1994) 73-114
-
(1994)
HRT-HOOD: A Design Method for Hard Real-time Ada. Real-time Systems
, vol.6
, Issue.1
, pp. 73-114
-
-
Burns, A.1
Wellings, A.J.2
-
6
-
-
84884366383
-
Effective analysis for engineering real-time fixed-priority schedulers
-
Burns, A., Tindell, A., Wellings, A.: Effective analysis for engineering real-time fixed-priority schedulers. IEEE Trans. on Soft. Eng., vol. 21 (1995) 475-480
-
(1995)
IEEE Trans. on Soft. Eng.
, vol.21
, pp. 475-480
-
-
Burns, A.1
Tindell, A.2
Wellings, A.3
-
7
-
-
4544226664
-
The time-triggered architecture
-
Special Issue on Embedded Systems, June
-
Kopetz, H., Bauer, G.: The Time-Triggered Architecture. Proceedings of the IEEE, Special Issue on Embedded Systems, June (2002)
-
(2002)
Proceedings of the IEEE
-
-
Kopetz, H.1
Bauer, G.2
-
9
-
-
0026220148
-
The synchronous approach to reactive and real-time systems
-
Benveniste, A., Berry, G.: The Synchronous Approach to Reactive and Real-Time Systems. Proc. of the IEEE, vol. 79, No 9 (1991) 1270-1282
-
(1991)
Proc. of the IEEE
, vol.79
, Issue.9
, pp. 1270-1282
-
-
Benveniste, A.1
Berry, G.2
-
14
-
-
84880338480
-
The asterix real-time Kernel
-
Delft, Netherlands
-
Thane, H., Pettersson, A., Sundmark, D.: The Asterix Real-Time Kernel. Proc. of the 13th Euromicro International Conference On Real-Time Systems, Delft, Netherlands (2001)
-
(2001)
Proc. of the 13th Euromicro International Conference on Real-time Systems
-
-
Thane, H.1
Pettersson, A.2
Sundmark, D.3
-
15
-
-
0037653969
-
Guide for the use of the ada ravenscar profile in high integrity systems
-
January
-
Burns, A., Dobbing, B., Vardanega, T.: Guide for the Use of the Ada Ravenscar Profile in High Integrity Systems. University of York Technical Report YCS-2003-348, January (2003)
-
(2003)
University of York Technical Report
, vol.YCS-2003-348
-
-
Burns, A.1
Dobbing, B.2
Vardanega, T.3
-
16
-
-
0142028526
-
Software technologies, embedded systems and distributed systems in FP6
-
Brussels, Belgium, May
-
th Framework Programme for EU Research, Brussels, Belgium, May (2002)
-
(2002)
th Framework Programme for EU Research
-
-
-
17
-
-
0034273528
-
What's ahead for embedded software
-
Lee, E.: What's Ahead for Embedded Software. IEEE Computer, 2000, N 9, (2000) 18-26
-
(2000)
IEEE Computer
, vol.2000
, Issue.9
, pp. 18-26
-
-
Lee, E.1
-
18
-
-
0004317904
-
Embedded software - An agenda for research
-
University of California at Berkeley, December
-
Lee, E.: Embedded Software - an Agenda for Research. UCB ERL Memorandum M99/63, University of California at Berkeley, December (1999)
-
(1999)
UCB ERL Memorandum
, vol.M99-63
-
-
Lee, E.1
-
20
-
-
0034592460
-
An architecture for embedded software integration using reusable components
-
San Jose, CA
-
Wang, S., Shin, K.G.: An Architecture for Embedded Software Integration Using Reusable Components. Proc. of the International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, San Jose, CA (2000)
-
(2000)
Proc. of the International Conference on Compilers, Architecture, and Synthesis for Embedded Systems
-
-
Wang, S.1
Shin, K.G.2
-
21
-
-
0000474691
-
Design of dynamically reconfigurable real-time software using port-based objects
-
Stewart, D.B., Volpe, R.A., Khosla, P.K.: Design of Dynamically Reconfigurable Real-Time Software Using Port-Based Objects. IEEE Trans. on Soft. Eng., vol.23, No 12 (1997) 759-776
-
(1997)
IEEE Trans. on Soft. Eng.
, vol.23
, Issue.12
, pp. 759-776
-
-
Stewart, D.B.1
Volpe, R.A.2
Khosla, P.K.3
-
22
-
-
18944384733
-
Online software reconfiguration in embedded real-time control systems
-
Zimmermann, U., Längle, T., Worn, T.: Online Software Reconfiguration in Embedded Real-Time Control Systems. Proc. of the SCI 2002, vol. VI (2002) 375-379
-
(2002)
Proc. of the SCI 2002
, vol.6
, pp. 375-379
-
-
Zimmermann, U.1
Längle, T.2
Worn, T.3
|