Zenet: generating and enforcing real-time temporal invariants

PDF icon doccon.pdf134.63 KB
TitleZenet: generating and enforcing real-time temporal invariants
Publication TypeConference Paper
Year of Publication2010
AuthorsLewis, C
Conference NameICSE ’10: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering
Conference LocationNew York, NY, USA
ISBN Number978-1-60558-719-6
KeywordsSIL, zenet
AbstractGenerating correct specifications for real-time event-driven software systems is difficult and time-consuming. Even when such specifications have been created, they are often used to guide development rather than state properties guaranteed by the actual system. We propose a specification generator that reads execution traces and can generate invariants with real-time constraints. That specification can also offer programmers the ability to repair violated invariants at runtime. Creating fault-tolerant systems in this manner would provide software engineers guarantees about the software’s high-level operation and its ability to recover from errors.
Full Text
Taxonomy upgrade extras: