A time Petri net approach for finding preruntime schedules in embedded hard real-time systems

24th International Conference on Distributed Computing Systems Workshops, 2004. Proceedings. ◽

10.1109/icdcsw.2004.1284131 ◽

2004 ◽

Author(s):

R. Barreto ◽

S. Cavalcante ◽

P. Maciel

Keyword(s):

Real Time ◽

Petri Net ◽

Real Time Systems ◽

Time Petri Net ◽

Hard Real Time ◽

Download Full-text

A time petri net-based approach for hard real-time systems scheduling considering dynamic voltage scaling, overheads, precedence and exclusion relations

Proceedings of the 20th annual conference on Integrated circuits and systems design - SBCCI '07 ◽

10.1145/1284480.1284563 ◽

2007 ◽

Author(s):

Eduardo Tavares ◽

Paulo Maciel ◽

Bruno Silva ◽

Meuse Oliveira

Keyword(s):

Real Time ◽

Petri Net ◽

Voltage Scaling ◽

Dynamic Voltage Scaling ◽

Real Time Systems ◽

Time Petri Net ◽

Dynamic Voltage ◽

Hard Real Time ◽

Download Full-text

A comparison of temporal Petri net techniques in the specification and design of hard real-time systems

Microprocessing and Microprogramming ◽

10.1016/0165-6074(91)90332-n ◽

1991 ◽

Vol 32 (1-5) ◽

pp. 111-118 ◽

Author(s):

J.S. Sagoo ◽

D.J. Holding

Keyword(s):

Real Time ◽

Petri Net ◽

Real Time Systems ◽

Hard Real Time ◽

Download Full-text

Mapping UML sequence diagram to time petri net for requirement validation of embedded real-time systems with energy constraints

Proceedings of the 2009 ACM symposium on Applied Computing - SAC '09 ◽

10.1145/1529282.1529364 ◽

2009 ◽

Author(s):

Ermeson Andrade ◽

Paulo Maciel ◽

Gustavo Callou ◽

Bruno Nogueira ◽

Carlos Araújo

Keyword(s):

Real Time ◽

Petri Net ◽

Sequence Diagram ◽

Real Time Systems ◽

Time Petri Net ◽

Energy Constraints ◽

Uml Sequence Diagram ◽

Time Systems ◽

Requirement Validation

Download Full-text

A Methodology for Mapping SysML Activity Diagram to Time Petri Net for Requirement Validation of Embedded Real-Time Systems with Energy Constraints

10.1109/icds.2009.19 ◽

2009 ◽

Author(s):

Ermeson Andrade ◽

Paulo Maciel ◽

Gustavo Callou ◽

Bruno Nogueira

Keyword(s):

Real Time ◽

Petri Net ◽

Real Time Systems ◽

Activity Diagram ◽

Time Petri Net ◽

Energy Constraints ◽

Time Systems ◽

Requirement Validation

Download Full-text

Mapping SysML State Machine Diagram to Time Petri Net for Analysis and Verification of Embedded Real-Time Systems with Energy Constraints

10.1109/enics.2008.19 ◽

2008 ◽

Author(s):

Ermeson Carneiro ◽

Paulo Maciel ◽

Gustavo Callou ◽

Eduardo Tavares ◽

Bruno Nogueira

Keyword(s):

Real Time ◽

Petri Net ◽

State Machine ◽

Real Time Systems ◽

Time Petri Net ◽

Energy Constraints ◽

Time Systems ◽

State Machine Diagram

Download Full-text

Mapping UML Interaction Overview Diagram to Time Petri Net for Analysis and Verification of Embedded Real-Time Systems with Energy Constraints

2008 International Conference on Computational Intelligence for Modelling Control & Automation ◽

10.1109/cimca.2008.44 ◽

2008 ◽

Author(s):

Ermeson Andrade ◽

Paulo Maciel ◽

Gustavo Callou ◽

Bruno Nogueira

Keyword(s):

Real Time ◽

Petri Net ◽

Real Time Systems ◽

Time Petri Net ◽

Energy Constraints ◽

Download Full-text

Design, Analysis and Verification of Real-Time Systems Based on Time Petri Net Refinement

ACM Transactions on Embedded Computing Systems ◽

10.1145/2406336.2406340 ◽

2013 ◽

Vol 12 (1) ◽

pp. 1-18 ◽

Author(s):

Zhijun Ding ◽

Changjun Jiang ◽

Mengchu Zhou

Keyword(s):

Real Time ◽

Petri Net ◽

Design Analysis ◽

Real Time Systems ◽

Time Petri Net ◽

Download Full-text

On the Uses of Synchronization in Hard-real-time Systems

10.1109/milcom.1983.4794801 ◽

1983 ◽

Author(s):

Stuart R. Faulk ◽

David L. Parnas

Keyword(s):

Real Time ◽

Real Time Systems ◽

Hard Real Time ◽

Download Full-text

Energy efficient scheduling for hard real-time systems with fixed-priority assignment

International Performance Computing and Communications Conference ◽

10.1109/pccc.2010.5682315 ◽

2010 ◽

Author(s):

Linwei Niu

Keyword(s):

Real Time ◽

Energy Efficient ◽

Real Time Systems ◽

Priority Assignment ◽

Fixed Priority ◽

Hard Real Time ◽

Time Systems ◽

Energy Efficient Scheduling

Download Full-text

Multi-Criteria Function Inlining for Hard Real-Time Systems

Proceedings of the 28th International Conference on Real-Time Networks and Systems ◽

10.1145/3394810.3394819 ◽

2020 ◽

Author(s):

Kateryna Muts ◽

Heiko Falk

Keyword(s):

Real Time ◽

Real Time Systems ◽

Hard Real Time ◽

Download Full-text