Formal verification of real-time embedded software in an object-oriented application framework

2004 ◽  
Vol 151 (6) ◽  
pp. 417 ◽  
Author(s):  
P.-A. Hsiung ◽  
T.-Y. Lee ◽  
J.-M. Fu ◽  
W.-B. See
Keyword(s):  
Formal Verification ◽  
Real Time ◽  
Object Oriented ◽  
Embedded Software ◽  
Application Framework

Object-oriented specification and formal verification of real-time systems

1996 ◽  
Vol 2 (1) ◽  
pp. 161-198 ◽  
Author(s):  
Jyhjong Lin ◽  
David Chenho Kung ◽  
Pei Hsia
Keyword(s):  
Formal Verification ◽  
Real Time ◽  
Object Oriented ◽  
Real Time Systems ◽  
Time Systems

SESAG: an object-oriented application framework for real-time systems

2005 ◽  
Vol 35 (10) ◽  
pp. 899-921 ◽  
Author(s):  
Pao-Ann Hsiung ◽  
Trong-Yen Lee ◽  
Jih-Ming Fu ◽  
Win-Bin See
Keyword(s):  
Real Time ◽  
Object Oriented ◽  
Application Framework ◽  
Real Time Systems ◽  
Time Systems

Design Patterns Reuse for Real Time Embedded Software Development

2009 ◽  
Author(s):  
Gabriel de Souza Pereira Moreira ◽  
Denis Ávila Montini ◽  
Daniela América da Silva ◽  
Felipe Rafael Motta Cardoso ◽  
Luiz Alberto Vieira Dias ◽  
...  
Keyword(s):  
Software Development ◽  
Real Time ◽  
Design Patterns ◽  
Embedded Software
Sign in / Sign up

Export Citation Format

Share Document