System and Component Software Specification, Run-time Verification and Automatic Test Generation, Phase II

Metadata Updated: March 22, 2019

This proposal is for the creation of a system-level software specification and verification tool. This proposal suggests a major leap-forward in usability of modeling, code generation, Runtime Verification (RV), and Automatic Test Generation (ATG) from the component-level to the system-level. 1. We will create a specification and run-time verification environment for system-level specifications using J-MSC assertions and distributed assertions. J-MSC assertions are a UML-based system-level formal specification language. In phase-I we demonstrated J-MSC assertion and distributed assertion specification and monitoring. In phase-II we will construct an editor, code-generator, and run-time monitor for J-MSC assertions and for distributed assertions. 2. We will create system-level verification environment, compliant with the de-facto JUnit testing framework, including: • RV of J-MSC assertions for system verification combined with statechart-assertions for the component level. • RV of distributed assertions. • System-level white-box ATG of UML controller models and assertions: white-box ATG for a plurality controller modules and for a plurality of controller instances. • Combined black-box/Matlab and white-box ATG, with support for both open-loop and closed loop techniques. • White-box ATG based on real-time contracts of system components.

Access & Use Information

Public: This dataset is intended for public access and use. License: U.S. Government Work

Downloads & Resources


Metadata Created Date August 1, 2018
Metadata Updated Date March 22, 2019

Metadata Source

Harvested from NASA Data.json

Additional Metadata

Resource Type Dataset
Metadata Created Date August 1, 2018
Metadata Updated Date March 22, 2019
Publisher Space Technology Mission Directorate
Unique Identifier TECHPORT_6380
Maintainer Email
Public Access Level public
Bureau Code 026:00
Metadata Context
Metadata Catalog ID
Schema Version
Catalog Describedby
Datagov Dedupe Retained 20190322035503
Harvest Object Id 1268bbed-b04c-4de6-b6ae-27404b170299
Harvest Source Id 39e4ad2a-47ca-4507-8258-852babd0fd99
Harvest Source Title NASA Data.json
Data First Published 2009-01-01
Homepage URL
Data Last Modified 2018-07-19
Program Code 026:027
Source Datajson Identifier True
Source Hash 10bc99eb6f2785a34e013046a160a05bcc2df53c
Source Schema Version 1.1

Didn't find what you're looking for? Suggest a dataset here.