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

2003 ◽  
Author(s):  
Feng-Shi Su ◽  
Pao-Ann Hsiung
Keyword(s):  
Code Generation ◽  
Embedded Software ◽  
Formal Synthesis ◽  
Static Scheduling

A REPOSITORY FOR COMPONENT-BASED EMBEDDED SOFTWARE DEVELOPMENT

2006 ◽  
Vol 16 (04) ◽  
pp. 523-552 ◽  
Author(s):  
TONG GAO ◽  
HUI MA ◽  
I-LING YEN ◽  
LATIFUR KHAN ◽  
FAROKH BASTANI
Keyword(s):  
Software Development ◽  
Code Generation ◽  
Embedded Software ◽  
Software Systems ◽  
Software Components ◽  
Search Results ◽  
Component Based Development ◽  
Specification Method ◽  
On Line ◽  
Effective Component

The rapid growth in the demand for embedded systems and the increased complexity of embedded software pose an urgent need for advanced embedded software development techniques. Software technology is shifting toward semi-automated code generation and integration of systems from components. Component-based development (CBD) techniques can significantly reduce the time and cost for developing software systems. Furthermore, effective component retrieval is a fundamental issue in CBD. In this paper, we address the issues in designing software repositories for embedded software components. We develop an On-line Repository for Embedded Software (ORES) to facilitate component management and retrieval. ORES uses an ontology-based approach to facilitate repository browsing and effective search. To allow easy browsing of ORES, we analyze the typical ontology relations for software components and develop a Merging and Echoing technique to convert the ontology into a hierarchy suitable for browsing, but without the loss of any critical semantic information contained in the ontology. We also develop an algorithm for grouping search results based on the ontology. Thus, we can display search result groups to avoid having to display a large number of search results or having to prune the results and risk reducing the recall factor. Another important aspect in embedded software is the set of nonfunctional requirements and properties. In ORES, we develop an XML-based specification method to capture nonfunctional properties as well as functional characteristics of components and enable retrieval of relevant components based on these specifications.

Formal synthesis of application and platform behaviors of embedded software systems

2013 ◽  
Vol 14 (2) ◽  
pp. 839-859 ◽  
Author(s):  
Jinhyun Kim ◽  
Inhye Kang ◽  
Jin-Young Choi ◽  
Insup Lee ◽  
Sungwon Kang
Keyword(s):  
Embedded Software ◽  
Software Systems ◽  
Formal Synthesis

Quasi-Static Scheduling of Embedded Software Using Equal Conflict Nets

1999 ◽  
pp. 208-227 ◽  
Author(s):  
Marco Sgroi ◽  
Luciano Lavagno ◽  
Yosinori Watanabe ◽  
Alberto Sangiovanni-Vincentelli
Keyword(s):  
Embedded Software ◽  
Static Scheduling
Sign in / Sign up

Export Citation Format

Share Document