ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Lightweight Realization of UML Ports for Safety-Critical Real-Time Embedded Software
Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development
◽
10.5220/0005689602580265
◽
2016
◽
Author(s):
Alper Tolga Kocataş
◽
Mustafa Can
◽
Ali Doğru
Keyword(s):
Real Time
◽
Embedded Software
◽
Safety Critical
Download Full-text
Related Documents
Cited By
References
Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software
Lecture Notes in Computer Science - The Essence of Computation
◽
10.1007/3-540-36377-7_5
◽
2002
◽
pp. 85-108
◽
Cited By ~ 80
Author(s):
Bruno Blanchet
◽
Patrick Cousot
◽
Radhia Cousot
◽
Jérôme Feret
◽
Laurent Mauborgne
◽
...
Keyword(s):
Real Time
◽
Embedded Software
◽
Safety Critical
◽
Design And Implementation
Download Full-text
Design Patterns Reuse for Real Time Embedded Software Development
2009 Sixth International Conference on Information Technology: New Generations
◽
10.1109/itng.2009.171
◽
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
Download Full-text
The fujaba real-time tool suite- model-driven development of safety-critical, real-time systems
Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005.
◽
10.1109/icse.2005.1553646
◽
2005
◽
Cited By ~ 4
Author(s):
S. Burmester
◽
H. Giese
◽
M. Hirsch
◽
D. Schilling
◽
M. Tichy
Keyword(s):
Real Time
◽
Real Time Systems
◽
Model Driven Development
◽
Safety Critical
◽
Model Driven
◽
Time Systems
Download Full-text
Integrated safety critical systems on reliable real time network
Proceedings of the 8th International Scientific and Practical Conference of Students, Post-graduates and Young Scientists. Modern Technique and Technologies. MTT'2002 (Cat. No.02EX550)
◽
10.1109/pdcat.2003.1236260
◽
2004
◽
Cited By ~ 1
Author(s):
Shiping Yang
◽
Nan Sang
◽
Guangze Xiong
Keyword(s):
Real Time
◽
Critical Systems
◽
Safety Critical
◽
Safety Critical Systems
Download Full-text
Technology transfer and certification issues in safety critical real time systems
10.1049/ic:19980523
◽
1998
◽
Cited By ~ 10
Author(s):
S. Hutchesson
◽
N. Hayes
Keyword(s):
Technology Transfer
◽
Real Time
◽
Real Time Systems
◽
Safety Critical
◽
Time Systems
Download Full-text
How ADLs Can Help in Adapting the CORBA Component Model to Real-Time Embedded Software Design
IFIP The International Federation for Information Processing - Architecture Description Languages
◽
10.1007/0-387-24590-1_8
◽
2005
◽
pp. 117-132
Author(s):
Sylvain Robert
◽
Ansgar Radermacher
◽
Vincent Seignole
◽
Sébastien Gérard
◽
Virginie Watine
◽
...
Keyword(s):
Real Time
◽
Software Design
◽
Embedded Software
◽
Component Model
Download Full-text
Formal Design and Verification of Real-Time Embedded Software
Programming Languages and Systems - Lecture Notes in Computer Science
◽
10.1007/978-3-540-30477-7_26
◽
2004
◽
pp. 382-397
◽
Cited By ~ 1
Author(s):
Pao-Ann Hsiung
◽
Shang-Wei Lin
Keyword(s):
Real Time
◽
Embedded Software
◽
Formal Design
Download Full-text
Multi-thread graph: a system model for real-time embedded software synthesis
Proceedings European Design and Test Conference. ED & TC 97
◽
10.1109/edtc.1997.582403
◽
2002
◽
Cited By ~ 5
Author(s):
F. Thoen
◽
J. Van Der Steen
◽
G. de Jong
◽
G. Goossens
◽
H. De Man
Keyword(s):
Real Time
◽
Embedded Software
◽
System Model
◽
Software Synthesis
Download Full-text
Impact of Adding Security to Safety-Critical Real-Time Systems: A Case Study
2011 IEEE 35th Annual Computer Software and Applications Conference Workshops
◽
10.1109/compsacw.2011.29
◽
2011
◽
Cited By ~ 1
Author(s):
Andrew J. Kornecki
◽
Wendy F. Stevenson
Keyword(s):
Real Time
◽
Real Time Systems
◽
Safety Critical
◽
Time Systems
Download Full-text
One Click Build Environment and Tool Chain for Real Time Safety Critical Aerospace Embedded System
SAE International Journal of Aerospace
◽
10.4271/2013-01-2259
◽
2013
◽
Vol 6
(2)
◽
pp. 668-675
Author(s):
Tejas Chhaya
◽
Dan Evans
◽
David Dempsey
◽
Jason Powers
Keyword(s):
Embedded System
◽
Real Time
◽
Tool Chain
◽
Safety Critical
◽
Build Environment
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close