Abstrakt. I detta dokument fokuserar vi på problemet med automatiskt tillägg av feltolerans till ett befintligt felintolerant realtidsprogram. Vi anser att tre nivåer av feltolerans, nämligen nonmasking, felsäker, och maskering, baserat på säkerhet och levande egenskaper nöjda i närvaro av fel. Mer specifikt, en nonmasking (respektive, felsäker, maskering) program tillfredsställer liv (respektive, säkerhet, både säkerhet och livlighet) i närvaro av fel. För felsäkerhet och maskering av feltolerans, anser vi att två ytterligare nivåer, mjuka och hårda, bygger på tillfredsställelse av tidsbegränsningar i närvaro av fel. Vi presenterar en polynom tid algoritm (i storleken på inmatningsprogrammets region graf) som lägger begränsad tid återhämtning från en godtycklig given uppsättning av stater till en annan godtycklig uppsättning av stater. Med hjälp av denna algoritm föreslår vi en ljud- och fullständig syntesalgoritm som omvandlar ett felintolerant realtidsprogram till ett icke-maskerande feltolerant program. Dessutom introducerar vi ljud- och kompletta algoritmer för att lägga till mjuk/hård-felsäker feltolerans. Av utrymmesskäl presenteras våra resultat om tillägg av mjuk/hårdmaskerande feltolerans i en teknisk rapport.
Problemet med att lägga till olika nivåer av feltolerans till realtidsmodeller visas vara PSPACE-komplett i REF.
Incremental Synthesis of Fault-Tolerant Real-Time Programs
{'venue': 'SSS', 'journal': None, 'mag_field_of_study': ['Computer Science']}