-
3
-
-
0000474691
-
Design of Dynamically Reconfigurable Real-Time Software Using Port-Based Objects
-
D. B. Stewart, R. A. Volpe and P. K. Khosla, "Design of Dynamically Reconfigurable Real-Time Software Using Port-Based Objects", IEEE Transactions on Software Engineering, vol. 23, No 12, 1997, pp. 759-776
-
(1997)
IEEE Transactions on Software Engineering
, vol.23
, Issue.12
, pp. 759-776
-
-
Stewart, D.B.1
Volpe, R.A.2
Khosla, P.K.3
-
4
-
-
85053402423
-
Embedded Control Systems Development with Giotto
-
Salt Lake City, USA
-
T. A. Henzinger, B. Horowitz and C. M. Kirsch, "Embedded Control Systems Development with Giotto", Proc. of the Conference on Languages, Compilers and Tools for Embedded Systems LCTES'01, Salt Lake City, USA, 2001
-
(2001)
Proc. of the Conference on Languages, Compilers and Tools for Embedded Systems LCTES'01
-
-
Henzinger, T.A.1
Horowitz, B.2
Kirsch, C.M.3
-
5
-
-
34547458434
-
Event-Driven Programming with Logical Execution Times
-
Proc. of HSCC
-
A. Ghosal, T. A. Henzinger, C. M. Kirsch and M. A. A. Sanvido, "Event-Driven Programming with Logical Execution Times", Proc. of HSCC 2004, Lecture Notes in Computer Science, vol. 2993, 2004, pp. 357-371
-
(2004)
Lecture Notes in Computer Science
, vol.2993
, pp. 357-371
-
-
Ghosal, A.1
Henzinger, T.A.2
Kirsch, C.M.3
Sanvido, M.A.A.4
-
8
-
-
11844272628
-
SaveCCM - A Component Model for Safety-Critical Real-Time Systems
-
H. Hansson, M. Åkerholm, I. Crnkovic and M. Törngren, "SaveCCM - A Component Model for Safety-Critical Real-Time Systems", Proc. of the 30th EUROMICRO Conference EUROMICRO'04, pp. 627-635
-
Proc. of the 30th EUROMICRO Conference EUROMICRO'04
, pp. 627-635
-
-
Hansson, H.1
Åkerholm, M.2
Crnkovic, I.3
Törngren, M.4
-
11
-
-
34547476722
-
A Component-Based Framework for Distributed Control Systems
-
Cavtat, Dubrovnik, Croatia, Aug./Sept
-
C. Angelov, Xu Ke and K. Sierszecki, "A Component-Based Framework for Distributed Control Systems", Proc. of the 32nd EUROMICRO Conference on Software Engineering and Advanced Applications EUROMICRO-SEAA'2006, Cavtat, Dubrovnik, Croatia, Aug./Sept. 2006, pp. 20-27
-
(2006)
Proc. of the 32nd EUROMICRO Conference on Software Engineering and Advanced Applications EUROMICRO-SEAA
, pp. 20-27
-
-
Angelov, C.1
Ke, X.2
Sierszecki, K.3
-
12
-
-
33846675839
-
-
C. Angelov and J. Berthing, Distributed Timed Multitasking: a Model of Computation for Hard Real-Time Distributed Systems, in B. Kleinjohan et al. (Eds.): From Model-Driven Design to Resource Management for Distributed Embedded Systems, Proc. of DIPES 2006, Springer 2006, pp. 145-154
-
C. Angelov and J. Berthing, "Distributed Timed Multitasking: a Model of Computation for Hard Real-Time Distributed Systems", in B. Kleinjohan et al. (Eds.): From Model-Driven Design to Resource Management for Distributed Embedded Systems, Proc. of DIPES 2006, Springer 2006, pp. 145-154
-
-
-
-
13
-
-
0036496584
-
HARTEX - a Safe Real-Time Kernel for Distributed Computer Control Systems
-
C. Angelov, I. Ivanov and A. Burns, "HARTEX - a Safe Real-Time Kernel for Distributed Computer Control Systems", Software: Practice and Experience, vol. 32, N3, (2002), pp. 209-232
-
(2002)
Software: Practice and Experience
, vol.32
, Issue.N3
, pp. 209-232
-
-
Angelov, C.1
Ivanov, I.2
Burns, A.3
-
14
-
-
84880362871
-
A Jitter-Free Operational Environment for Dependable Embedded Systems
-
A. Rettberg et al, Eds, Springer
-
C. Angelov, J. Berthing and K. Sierszecki, "A Jitter-Free Operational Environment for Dependable Embedded Systems", in A. Rettberg et al. (Eds.): From Specification to Embedded Systems Application, Springer, 2005, pp. 277-288
-
(2005)
From Specification to Embedded Systems Application
, pp. 277-288
-
-
Angelov, C.1
Berthing, J.2
Sierszecki, K.3
-
15
-
-
0035509391
-
Platform-Based Design and Software Design Methodology for Embedded Systems
-
A. L. Sangiovanni-Vincentelli and G. Martin, "Platform-Based Design and Software Design Methodology for Embedded Systems", IEEE Design and Test of Computers, vol. 18 (2001), pp. 23-33
-
(2001)
IEEE Design and Test of Computers
, vol.18
, pp. 23-33
-
-
Sangiovanni-Vincentelli, A.L.1
Martin, G.2
-
16
-
-
31844441255
-
Composable Code Generation for Distributed Giotto
-
June
-
T. A. Henzinger, C. M. Kirsch and S. Matic, "Composable Code Generation for Distributed Giotto", Proceedings of the 2005 ACM SIG-PLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'05), 21-30, June, 2005
-
(2005)
Proceedings of the 2005 ACM SIG-PLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'05)
, pp. 21-30
-
-
Henzinger, T.A.1
Kirsch, C.M.2
Matic, S.3
-
17
-
-
0141684229
-
-
H. Kopetz and G. Bauer, The Time-Triggered Architecture, Proc. of the IEEE, Special Issue on Modeling and Design of Embedded Software, Jan. 2003
-
H. Kopetz and G. Bauer, "The Time-Triggered Architecture", Proc. of the IEEE, Special Issue on Modeling and Design of Embedded Software, Jan. 2003
-
-
-
-
19
-
-
19344368232
-
Models of Computation and Languages for Embedded System Design
-
March
-
A. Jantsch and I. Sander, "Models of Computation and Languages for Embedded System Design", IEE Proceedings - Computers and Digital Techniques, vol. 152, No. 2, pp. 114-129, March 2005
-
(2005)
IEE Proceedings - Computers and Digital Techniques
, vol.152
, Issue.2
, pp. 114-129
-
-
Jantsch, A.1
Sander, I.2
|