Abstract-Guarantee timing egenskaper är en viktig fråga eftersom vi utvecklar säkerhetskritiska realtidssystem såsom hjärta pacemakers. Vi presenterar en säker utvecklingsstrategi för realtidsprogramvara med en pacemaker som fallstudie. Med hjälp av modellbaserade utvecklingsmetoder används mätbaserad timingsanalys för att garantera timingegenskaper såväl vid implementering som i den formella modellen. Formell specifikation med tidsinställd automata kontrolleras med avseende på timingegenskaper med modellkontrollteknik och omvandlas systematiskt till implementering. När tidpunktsegenskaper kan brytas vid genomförandet på grund av tidsfördröjning föreslås det att tidsavvikelsen mäts och återspeglas i koden uttryckligen genom att vakterna ändras. Modellen ändras enligt ändringarna i koden. Dessa ändringar av koden och modellen anses säkra om alla egenskaper fortfarande uppfylls av den modifierade modellen vid omformad modellkontroll. Vi visar hur det föreslagna tillvägagångssättet kan tillämpas på enkelgängade och flertrådiga versioner av genomförandet. Detta tillvägagångssätt kan ge utvecklare en användbar tidsgarantiteknik som är tillämplig på flera kodgenereringssystem utan att införa många restriktioner.
Jee och al. presentera en säker utvecklingsmetod i realtid programvara med pacemaker som sin fallstudie i REF.
A Safety-Assured Development Approach for Real-Time Software
{'venue': '2010 IEEE 16th International Conference on Embedded and Real-Time Computing Systems and Applications', 'journal': '2010 IEEE 16th International Conference on Embedded and Real-Time Computing Systems and Applications', 'mag_field_of_study': ['Computer Science']}