Tillämpningen av formella tekniker kan bidra mycket till kvaliteten på programvara, vilket är av yttersta vikt för säkerhetskritiska inbyggda system. Dessa tekniker är dock inte lätta att tillämpa. I synnerhet är den metodiska vägledningen ofta otillfredsställande. Vi tar itu med detta problem genom tanken på en dagordning. En agenda är en lista över aktiviteter som ska utföras för att lösa en uppgift inom programvaruteknik. Dagordningar som används för att stödja tillämpningen av formella specificeringsmetoder ger detaljerad vägledning för speci örer, mallar för det använda speci katjonspråket som endast behöver omedelbart anpassas och tillämpningsoberoende valideringskriterier. Vi tillämpar agendan för en viss klass av inbyggda säkerhetskritiska system, vars formella specificering har undersökts under de senaste två årens fallstudier av det tyska Espress-projektet.
Gryeskamp m.fl. demonstrerade användningen av agendans tillvägagångssätt för att stödja en systematisk utveckling av kravspecifikationer för en viss klass av inbyggda säkerhetskritiska system REF.
Specifying embedded systems with statecharts and Z: an agenda for cyclic software components
{'venue': 'Sci. Comput. Program.', 'journal': None, 'mag_field_of_study': ['Computer Science']}