Software Synthesis for Hard Real-Time Embedded Systems with Energy Constraints

Tavares, Eduardo; Silva, B.; Maciel, Paulo; Dallegrave, P.

doi:10.1109/sbac-pad.2008.14

Cited by 7 publications

(5 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…A PC is connected to the oscilloscope that captures the code snippet execution start and end times by monitoring a led of the sensor, which is turned on/off to signalize the execution start/end. The PC runs a tool named AMALGHMA [15], which is responsible for calculating the power consumption.…”

Section: Discussionmentioning

confidence: 99%

WISeMid: Middleware for Integrating Wireless Sensor Networks and the Internet

Domingues

Dâmaso

Rosa

2010

Distributed Applications and Interoperable Systems

View full text Add to dashboard Cite

HAL is a multidisciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L'archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d'enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

show abstract

Section: Discussionmentioning

confidence: 99%

WISeMid: Middleware for Integrating Wireless Sensor Networks and the Internet

Domingues

Dâmaso

Rosa

2010

Distributed Applications and Interoperable Systems

View full text Add to dashboard Cite

show abstract

“…A lot of scheduling algorithms [10][11][12][13][14] have been developed for real-time systems in the previous decades. They do not consider the influence of system's data operational functions.…”

Section: Related Workmentioning

confidence: 99%

Scheduling Real-Time Embedded Systems Based on TCPNIA

Yang¹,

Yu²,

Sun³

et al. 2011

JSW

View full text Add to dashboard Cite

TCPNIA (Timed Colored Petri Nets with Inhibitor Arcs, TCPNIA) is a model for specifying real-time embedded systems. It integrates features of colored Petri nets, timed Petri nets and inhibitor arcs. The methods for modeling modules of systems using TCPNIA are proposed. A depth-first scheduling algorithm for TCPNIA is proposed. The system level resource’s influence to schedulable path is considered. Different data in tokens will change an execution path and call different data operational functions. The influence from data operational functions is considered in the scheduling algorithm. The time requirement upper bound of a schedulable path can be calculated in the algorithm. Tasks’ parallel executions have been considered when the time upper bound of the path is calculated. The soundness of the algorithm is proved. The time and space complexities of the algorithm are also analyzed. The compositional conditions and method for composing schedulable path are given. A case study shows the applicability and feasibility of the method

show abstract

“…Em sistemas Hard Real-Time,é de extrema importância a exatidão do tempo de resposta. Nesses sistemas, o não cumprimento das restrições temporais (como tempo de liberação e deadline) pode ocasionar graves conseqüências (Zhang et al, 2008), como o comprometimento da confiabilidade do sistema ou até mesmo colocar vida de pessoas em risco (Liu, 2000;Tavares et al, 2008). Por serem mais desafiadores, sistemas Hard-RT apresentam um custo mais elevado em relação a sistemas Soft-RT (Mathes et al, 2008).…”

Section: Sistemas Hard-rt Soft-rt E Firm-rtunclassified

Provisão integrada de QoS relativa e absoluta em serviços computacionais interativos com requisitos de responsividade de tempo real

Saito¹

View full text Add to dashboard Cite

Primeiramente a Deus por ter me dado forças e competência para a realização deste trabalho. Aos meus pais Kiokuni Saito e Yokie Maeda Saito, minha irmã Larissa Midori Maeda Saito e toda a minha família, por todo Amor, carinho e compreensão e por sempre estarem ao meu lado, me apoiando e contribuindo para a minha formação pessoal e profissional. Ao meu namorado Pedro Henrique Bugatti pelo companheirismo, por sempre estar ao meu lado, me apoiando e me incentivando a enfrentar os desafios e a superar os obstáculos. Obrigada pelos conselhos, por todo o seu carinho e Amor, que me ajudaram a renovar as energias e a continuar o trabalho. Ao meu orientador Prof. Dr. Francisco José Monaco por ter me concedido a oportunidade de realizar o presente projeto, por sua orientação e pela confiança em meu trabalho.

show abstract

Software Synthesis for Hard Real-Time Embedded Systems with Energy Constraints

Cited by 7 publications

References 13 publications

WISeMid: Middleware for Integrating Wireless Sensor Networks and the Internet

WISeMid: Middleware for Integrating Wireless Sensor Networks and the Internet

Scheduling Real-Time Embedded Systems Based on TCPNIA

Provisão integrada de QoS relativa e absoluta em serviços computacionais interativos com requisitos de responsividade de tempo real

Contact Info

Product

Resources

About