Quasi-Static Scheduling of Embedded Software Using Equal Conflict Nets

Lecture Notes in Computer Science - Application and Theory of Petri Nets 1999 ◽

10.1007/3-540-48745-x_13 ◽

1999 ◽

pp. 208-227 ◽

Cited By ~ 5

Author(s):

Marco Sgroi ◽

Luciano Lavagno ◽

Yosinori Watanabe ◽

Alberto Sangiovanni-Vincentelli

Keyword(s):

Embedded Software ◽

Static Scheduling

Download Full-text

Extended quasi-static scheduling for formal synthesis and code generation of embedded software

Proceedings of the Tenth International Symposium on Hardware/Software Codesign. CODES 2002 (IEEE Cat. No.02TH8627) ◽

10.1109/codes.2002.1003627 ◽

2003 ◽

Author(s):

Feng-Shi Su ◽

Pao-Ann Hsiung

Keyword(s):

Code Generation ◽

Embedded Software ◽

Formal Synthesis ◽

Static Scheduling

Download Full-text

Synthesis of real-time embedded software by timed quasi-static scheduling

16th International Conference on VLSI Design, 2003. Proceedings. ◽

10.1109/icvd.2003.1183196 ◽

2003 ◽

Author(s):

Pao-Ann Hsiung ◽

Feng-Shi Su

Keyword(s):

Real Time ◽

Embedded Software ◽

Static Scheduling

Download Full-text

Extended quasi-static scheduling for formal synthesis and code generation of embedded software

Proceedings of the Tenth International Symposium on Hardware/Software Codesign. CODES 2002 (IEEE Cat. No.02TH8627) ◽

10.1145/774789.774832 ◽

2002 ◽

Cited By ~ 11

Author(s):

Feng-Shi Su ◽

Pao-Ann Hsiung

Keyword(s):

Code Generation ◽

Embedded Software ◽

Formal Synthesis ◽

Static Scheduling

Download Full-text

An Improved Quasi-Static Scheduling Algorithm for Mixed Data-Control Embedded Software

Journal of Applied Sciences ◽

10.3923/jas.2006.1571.1575 ◽

2006 ◽

Vol 6 (7) ◽

pp. 1571-1575 ◽

Cited By ~ 4

Author(s):

Liu . ◽

Chun-Chen .

Keyword(s):

Scheduling Algorithm ◽

Embedded Software ◽

Mixed Data ◽

Static Scheduling ◽

Data Control

Download Full-text

Formal synthesis and code generation of real-time embedded software using time-extended quasi-static scheduling

Ninth Asia-Pacific Software Engineering Conference, 2002. ◽

10.1109/apsec.2002.1183009 ◽

2003 ◽

Cited By ~ 4

Author(s):

Pao-Ann Hsiung ◽

Trong-Yen Lee ◽

Feng-Shi Su

Keyword(s):

Real Time ◽

Code Generation ◽

Embedded Software ◽

Formal Synthesis ◽

Static Scheduling

Download Full-text

A Cooperative Estimation Method by Visualizing Inter-Module Relations in the Reuse-Based Embedded Software Development and Its Evaluation

IEEJ Transactions on Electronics Information and Systems ◽

10.1541/ieejeiss.129.355 ◽

2009 ◽

Vol 129 (2) ◽

pp. 355-365 ◽

Cited By ~ 1

Author(s):

Hidetoshi Kambe ◽

Hiroyasu Mitsui ◽

Hisao Koizumi

Keyword(s):

Software Development ◽

Estimation Method ◽

Embedded Software ◽

Cooperative Estimation

Download Full-text

Application of Error Estimating Model to Control Quality in Embedded Software Development

IEEJ Transactions on Electronics Information and Systems ◽

10.1541/ieejeiss.130.496 ◽

2010 ◽

Vol 130 (3) ◽

pp. 496-502

Author(s):

Yoshiyuki Anan ◽

Toyoshiro Nakashima ◽

Kazunori Iwata ◽

Hiroshi Yonemitsu ◽

Tetsu Yoshioka ◽

...

Keyword(s):

Software Development ◽

Embedded Software ◽

Control Quality

Download Full-text

Time-Predictable Embedded Software on Multi-Core Platforms: Analysis and Optimization

10.1561/9781601987952 ◽

2014 ◽

Author(s):

Sudipta Chattopadhyay ◽

Abhik Roychoudhury ◽

Jakob Rosén ◽

Petru Eles ◽

Zebo Peng

Keyword(s):

Embedded Software

Download Full-text

File system encapsulation mechanism in embedded software development platform

Journal of Computer Applications ◽

10.3724/sp.j.1087.2010.00118 ◽

2010 ◽

Vol 30 (1) ◽

pp. 118-120

Author(s):

Xian-bo HE

Keyword(s):

Software Development ◽

File System ◽

Embedded Software ◽

Development Platform

Download Full-text

Tracing interrupts in embedded software

Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems - LCTES '09 ◽

10.1145/1542452.1542471 ◽

2009 ◽

Cited By ~ 5

Author(s):

Giovani Gracioli ◽

Sebastian Fischmeister

Keyword(s):

Embedded Software

Download Full-text