Verification of Temporal Properties in Embedded Software: based on Assertion and Semiformal Verification Approaches - Softcover
Inhaltsangabe
For some years ago the main statement among verification engineers was "Bugs in hardware cost money". Nowadays, the embedded software is playing an important role in the embedded systems industry and the statement can be updated to "Bugs in hardware and in software cost a lot of money". Embedded software is very powerful in embedded systems in order to implement important functionalities and functional innovations. The developing costs of embedded software are becoming huge and its amount in safety critical systems is increasing. Therefore, the verification of complex systems needs to consider the verification of both hardware and embedded software modules. The most commonly used approaches to verify embedded software are based on co- simulation or on co-debugging, which consume long verification time and additionally have coverage limitations. Formal verification assures complete coverage, but is limited to the size of the module that can be verified. This dissertation extends the conventional verification limitations with methodologies that are based on temporal properties and formal verification.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Über die Autorin bzw. den Autor
Djones Lettnin has Master's in Electric Engineering at CatholicUniversity of Rio Grande do Sul (2004), Brazil, and PhD. in Computer Engineering at theEberhard Karls University of Tübingen (2009), Germany. He has interest in designand veri¿cation of embedded systems.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Verification of Temporal Properties in Embedded Software:...
Foto des Verkäufers
Verification of Temporal Properties in Embedded Software
Verlag:
Südwestdeutscher Verlag Für Hochschulschriften Nov 2009, 2009
ISBN 10: 3838112075
ISBN 13: 9783838112077
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -For some years ago the main statement among verification engineers was Bugs in hardware cost money. Nowadays, the embedded software is playing an important role in the embedded systems industry and the statement can be updated to Bugs in hardware and in software cost a lot of money. Embedded software is very powerful in embedded systems in order to implement important functionalities and functional innovations. The developing costs of embedded software are becoming huge and its amount in safety critical systems is increasing. Therefore, the verification of complex systems needs to consider the verification of both hardware and embedded software modules. The most commonly used approaches to verify embedded software are based on co- simulation or on co-debugging, which consume long verification time and additionally have coverage limitations. Formal verification assures complete coverage, but is limited to the size of the module that can be verified. This dissertation extends the conventional verification limitations with methodologies that are based on temporal properties and formal verification. 160 pp. Englisch. Bestandsnummer des Verkäufers 9783838112077
Neu kaufen
EUR 69,90
EUR 23,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 2 verfügbar
Foto des Verkäufers
Verification of Temporal Properties in Embedded Software
Verlag:
Südwestdeutscher Verlag für Hochschulschriften, 2009
ISBN 10: 3838112075
ISBN 13: 9783838112077
Neu
Softcover
Anbieter: moluna, Greven, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. For some years ago the main statement among verification engineers was Bugs in hardware cost money. Nowadays, the embedded software is playing an important role in the embedded systems industry and the statement can be updated to Bugs in hardware and in so. Bestandsnummer des Verkäufers 5405585
Neu kaufen
EUR 56,63
EUR 48,99 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Verification of Temporal Properties in Embedded Software | based on Assertion and Semiformal Verification Approaches
Verlag:
Südwestdeutscher Verlag für Hochschulschriften, 2009
ISBN 10: 3838112075
ISBN 13: 9783838112077
Neu
Taschenbuch
Anbieter: preigu, Osnabrück, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Verification of Temporal Properties in Embedded Software | based on Assertion and Semiformal Verification Approaches | Djones Lettnin | Taschenbuch | 160 S. | Englisch | 2009 | Südwestdeutscher Verlag für Hochschulschriften | EAN 9783838112077 | Verantwortliche Person für die EU: BoD - Books on Demand, In de Tarpen 42, 22848 Norderstedt, info[at]bod[dot]de | Anbieter: preigu Print on Demand. Bestandsnummer des Verkäufers 101424787
Neu kaufen
EUR 58,80
EUR 70,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 5 verfügbar
Foto des Verkäufers
Verification of Temporal Properties in Embedded Software
Verlag:
Südwestdeutscher Verlag Für Hochschulschriften Nov 2009, 2009
ISBN 10: 3838112075
ISBN 13: 9783838112077
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -For some years ago the main statement among verification engineers was 'Bugs in hardware cost money'. Nowadays, the embedded software is playing an important role in the embedded systems industry and the statement can be updated to 'Bugs in hardware and in software cost a lot of money'. Embedded software is very powerful in embedded systems in order to implement important functionalities and functional innovations. The developing costs of embedded software are becoming huge and its amount in safety critical systems is increasing. Therefore, the verification of complex systems needs to consider the verification of both hardware and embedded software modules. The most commonly used approaches to verify embedded software are based on co- simulation or on co-debugging, which consume long verification time and additionally have coverage limitations. Formal verification assures complete coverage, but is limited to the size of the module that can be verified. This dissertation extends the conventional verification limitations with methodologies that are based on temporal properties and formal verification.Books on Demand GmbH, Überseering 33, 22297 Hamburg 160 pp. Englisch. Bestandsnummer des Verkäufers 9783838112077
Neu kaufen
EUR 69,90
EUR 60,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Verification of Temporal Properties in Embedded Software : based on Assertion and Semiformal Verification Approaches
Verlag:
Südwestdeutscher Verlag Für Hochschulschriften, 2010
ISBN 10: 3838112075
ISBN 13: 9783838112077
Neu
Taschenbuch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - For some years ago the main statement among verification engineers was Bugs in hardware cost money. Nowadays, the embedded software is playing an important role in the embedded systems industry and the statement can be updated to Bugs in hardware and in software cost a lot of money. Embedded software is very powerful in embedded systems in order to implement important functionalities and functional innovations. The developing costs of embedded software are becoming huge and its amount in safety critical systems is increasing. Therefore, the verification of complex systems needs to consider the verification of both hardware and embedded software modules. The most commonly used approaches to verify embedded software are based on co- simulation or on co-debugging, which consume long verification time and additionally have coverage limitations. Formal verification assures complete coverage, but is limited to the size of the module that can be verified. This dissertation extends the conventional verification limitations with methodologies that are based on temporal properties and formal verification. Bestandsnummer des Verkäufers 9783838112077
Neu kaufen
EUR 69,90
EUR 61,28 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar