Architectural Design, Behavior Modeling and Run-Time Verification of Network Embedded Systems
MetadataShow full item record
There 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.
RightsThis publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.
Showing items related by title, author, creator and subject.
Development of a System Engineering Competency Career Development Model: an analytical approach using Bloom’s Taxonomy Whitcomb, Clifford; Khan, Rabia; White, Corina (Monterey, California. Naval Postgraduate School, 2014-09-10);This report describes the effort by the Naval Postgraduate School (NPS) in its development of a competency model for the profession of systems engineering. Competency modeling can be defined as the activity of determining ...
Zhang, Xian; Liu, Yang; Auguston, Mikhail (IEEE, 2010);Security protocols are hard to design, even under the assumption of perfect cryptography. This is especially true when a protocol involves different timing aspects such as timestamps, timeout, delays and a set of timing ...
Luqi; Berzins, Valdis; Yeh, Raymond T. (1988-10);PSDL is a language for describing prototypes of real-time software systems. It is most useful for requirements analysis, feasibility studies, and the design of large embedded systems. PSDL has facilities for recording ...