Formal synthesis of application and platform behaviors of embedded software systems

Jinhyun Kim; Inhye Kang; Jin-Young Choi; Insup Lee; Sungwon Kang

doi:10.1007/s10270-013-0342-8

Formal synthesis of application and platform behaviors of embedded software systems

Software & Systems Modeling ◽

10.1007/s10270-013-0342-8 ◽

2013 ◽

Vol 14 (2) ◽

pp. 839-859 ◽

Cited By ~ 2

Author(s):

Jinhyun Kim ◽

Inhye Kang ◽

Jin-Young Choi ◽

Insup Lee ◽

Sungwon Kang

Keyword(s):

Embedded Software ◽

Software Systems ◽

Formal Synthesis

Download Full-text

Mining Traces of Embedded Software Systems for Insights

Proceedings of the ACM/SPEC International Conference on Performance Engineering ◽

10.1145/3358960.3383580 ◽

2020 ◽

Author(s):

Sebastian Fischmeister

Keyword(s):

Embedded Software ◽

Software Systems

Download Full-text

Efficient Architecture-Level Configuration of Large-Scale Embedded Software Systems

Fundamentals of Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-319-24644-4_8 ◽

2015 ◽

pp. 110-126

Author(s):

Razieh Behjati ◽

Shiva Nejati

Keyword(s):

Large Scale ◽

Embedded Software ◽

Software Systems

Download Full-text

Assessing the Dependability of Embedded Software Systems Using the Dynamic Flowgraph Methodology

Dependable Computing and Fault-Tolerant Systems - Dependable Computing for Critical Applications 4 ◽

10.1007/978-3-7091-9396-9_13 ◽

1995 ◽

pp. 161-184 ◽

Cited By ~ 3

Author(s):

Chris Garrett ◽

Michael Yau ◽

Sergio Guarro ◽

George Apostolakis

Keyword(s):

Embedded Software ◽

Software Systems

Download Full-text

Hyvisual: A Hybrid System Modeling Framework Based on Ptolemy II11This work was supported in part by the Center for Hybrid and Embedded Software Systems (CHESS) at UC Berkeley, which receives support from the National Science Foundation (NSF award No. CCR-0225610): the State of California Micro Program, and the following companies: Agilent, DGIST, General Motors, Hewlett Packard, Infineon: Microsoft, and Toyota.

Analysis and Design of Hybrid Systems 2006 ◽

10.1016/b978-008044613-4.50049-5 ◽

2006 ◽

pp. 270-271 ◽

Cited By ~ 1

Author(s):

Edward A. Lee ◽

Haiyang Zheng

Keyword(s):

Hybrid System ◽

National Science Foundation ◽

System Modeling ◽

Embedded Software ◽

The State ◽

General Motors ◽

Software Systems ◽

Modeling Framework ◽

Hewlett Packard ◽

National Science

Download Full-text

Dependability assessment of networked embedded software systems

2016 1st CPSWeek Workshop on Declarative Cyber-Physical Systems (DCPS) ◽

10.1109/dcps.2016.7588298 ◽

2016 ◽

Cited By ~ 1

Author(s):

Kaliappa Ravindran

Keyword(s):

Embedded Software ◽

Software Systems

Download Full-text

Architecture-Level Configuration of Large-Scale Embedded Software Systems

ACM Transactions on Software Engineering and Methodology ◽

10.1145/2581376 ◽

2014 ◽

Vol 23 (3) ◽

pp. 1-43 ◽

Cited By ~ 9

Author(s):

Razieh Behjati ◽

Shiva Nejati ◽

Lionel C. Briand

Keyword(s):

Large Scale ◽

Embedded Software ◽

Software Systems

Download Full-text

Testing and testing techniques for real-time embedded software systems

Microprocessors and Microsystems ◽

10.1016/s0141-9331(00)00096-x ◽

2001 ◽

Vol 24 (9) ◽

pp. 441

Author(s):

N. Tracey ◽

J. McDermid

Keyword(s):

Real Time ◽

Embedded Software ◽

Software Systems ◽

Testing Techniques

Download Full-text

Lessons learned applying uml in embedded software systems designs

Second IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, 2004. Proceedings. ◽

10.1109/wstfes.2004.1300418 ◽

2004 ◽

Cited By ~ 5

Author(s):

R.G. Pettit

Keyword(s):

Embedded Software ◽

Lessons Learned ◽

Software Systems

Download Full-text

Early Synthesis of Timing Models in AUTOSAR-based Automotive Embedded Software Systems

Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development ◽

10.5220/0009095000260038 ◽

2020 ◽

Author(s):

Padma Iyenghar ◽

Lars Huning ◽

Elke Pulvermueller

Keyword(s):

Embedded Software ◽

Software Systems ◽

Automotive Embedded Software ◽

Timing Models

Download Full-text

MFQ & PPDCS - Test Analysis and Test Design for Large Embedded Software Systems

2009 Fourth International Conference on Software Engineering Advances ◽

10.1109/icsea.2009.25 ◽

2009 ◽

Author(s):

Xiaomei Tai

Keyword(s):

Embedded Software ◽

Software Systems ◽

Test Design ◽

Test Analysis

Download Full-text