Paper Info
Title
A time petri net based approach for embedded hard real-time software synthesis with multiple operational modes
Abstract
In general, complex embedded systems rely on specialized operating system kernels. However, the operating system usage may introduce significant time overhead, which may affect the tasks' deadline in embedded hard real-time systems. In addition, hardware requirements (e.g. memory) are usually increased.As an alternative, this paper presents a software synthesis approach for eliminating such overheads, meeting timing constraints, and providing multiple operational modes. In order to satisfy timing requirements, a pre-runtime scheduling is used to find a feasible schedule by adopting a formalism based on time Petri net. Pre-runtime scheduling is considered inflexible, but using multiple operational modes, significant flexibility may be achieved.
Year
DOI
Venue
2005
10.1145/1081081.1081110
SBCCI
Keywords
Field
DocType
operating system usage,specialized operating system kernel,time petri,pre-runtime scheduling,embedded hard real-time software,meeting timing constraint,embedded hard real-time system,complex embedded system,significant time overhead,significant flexibility,multiple operational mode,petri nets,scheduling,design,operating system,verification,formal verification,multiplication operator,embedded system,satisfiability,performance,embedded systems,software verification
Embedded operating system,Petri net,Computer science,Scheduling (computing),Real-time computing,Formalism (philosophy),Software verification,Embedded system,Automatic programming,Overhead (business),Formal verification
Conference
ISBN
Citations 
PageRank 
1-59593-174-0
1
0.38
References 
Authors
7
7
Name
Order
Citations
PageRank
Eduardo Tavares116125.22
Paulo Maciel225830.35
Arthur Bessa321.52
Raimundo Barreto48613.80
Leonardo Barros520.84
Meuse Oliveira, Jr.6355.86
Ricardo Lima7516.91