Show simple item record

dc.contributor.authorShing, Man-Tak
dc.contributor.authorDrusinsky, Doron
dc.date.accessioned2015-08-18T23:51:08Z
dc.date.available2015-08-18T23:51:08Z
dc.date.issued2007
dc.identifier.citationF. Kordon and J. Sztipanovits (Eds.): Monterey Workshop 2005, LNCS 4322, pp. 281–303, 2007.en_US
dc.identifier.urihttp://hdl.handle.net/10945/46080
dc.description.abstractThere is an increasing need for today’s autonomous systems to collaborate in real-time over wireless networks. These systems need to interact closely with other autonomous systems and function under tight timing and control constraints. This paper concerns with the modeling and quality assurance of the timing behavior of such network embedded systems. It builds upon our previous work on run-time model checking of temporal correctness properties and automatic white-box testing using run-time assertion checking. This paper presents an architecture for the network embedded systems, a lightweight formal method that is based on formal statechart assertions for the design and development of networked embedded systems, and a process of using run-time monitoring and verification, in tandem with modeling and simulation, to study the timing requirements of complex systems early in the design process.en_US
dc.rightsThis publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. As such, it is in the public domain, and under the provisions of Title 17, United States Code, Section 105, may not be copyrighted.en_US
dc.titleArchitectural Design, Behavior Modeling and Run-Time Verification of Network Embedded Systemsen_US
dc.typeArticleen_US
dc.contributor.departmentComputer Scienceen_US
dc.subject.authorNetwork Embedded Systemen_US
dc.subject.authorLightweight Formal Methoden_US
dc.subject.authorArchitecture Designen_US
dc.subject.authorRun-Time Verificationen_US
dc.subject.authorStatechart Assertionsen_US
dc.description.funderThe research reported in this article was funded in part by a grant from the U.S. Missile Defense Agency.en_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record