Key points are not available for this paper at this time.
Sistemas embarcados são onipresentes e frequentemente usados para sistemas críticos com funcionalidade dependente do tempo. Dwyer et al. (1999) desenvolveram padrões de especificação qualitativa para facilitar a especificação de propriedades críticas, como aquelas que devem ser atendidas por sistemas embarcados. Até agora, nenhum repositório análogo foi compilado para padrões de especificação em tempo real. Este artigo faz duas contribuições principais: Primeiro, com base em uma análise dos requisitos baseados em tempo de várias aplicações industriais de sistemas embarcados, criamos padrões de especificação em tempo real em termos de três lógicas temporais em tempo real comumente utilizadas. Em segundo lugar, como um meio de facilitar ainda mais a compreensão do significado de uma especificação, oferecemos uma gramática estruturada em inglês que inclui suporte para propriedades em tempo real. Ilustramos o uso dos padrões de especificação em tempo real no contexto das especificações de propriedades de um sistema embarcado automotivo do mundo real.
Konrad et al. (Sat,) estudaram essa questão.