Validating UML Statechart-Based Assertions Libraries for Improved Reliability and Assurance

Drusinsky, Doron; Michael, J.B.; Otani, Thomas W.; Shing, Man-Tak

doi:10.1109/ssiri.2008.54

Cited by 16 publications

(10 citation statements)

References 4 publications

(5 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The system should contain a camera positioned in each direction of the El Camino Real. The TLC must conform to the following Natural Language (NL) requirements governing the behavior of the El Camino [D1,D2,DMTS]. The following is a short overview.…”

Section: Formal Specifications Using Statechart Assertionsmentioning

confidence: 99%

See 1 more Smart Citation

Computer-Aided Discovery of Formal Specification Behavioral Requirements and Requirement to Implementation Mappings

Drusinsky¹

2014

Self Cite

View full text Add to dashboard Cite

Public reporting burden for this collection of information is estimated to average 1 hour per response, including the time for reviewing instructions, searching existing data sources, gathering and maintaining the data needed, and completing and reviewing this collection of information. Send comments regarding this burden estimate or any other aspect of this collection of information, including suggestions for reducing this burden to Department of Defense, Washington Headquarters Services, Directorate for Information PERFORMING ORGANIZATION NAME(S) AND ADDRESS(ES) AND ADDRESS(ES)Naval Postgraduate School 1411 Cunningham Road Monterey, CA 93943 PERFORMING ORGANIZATION REPORT NUMBER NPS-CS-14-001 SPONSORING / MONITORING AGENCY NAME(S) AND ADDRESS(ES)Code 822, Office of Naval Research (ONR) -One Liberty Center, 875 North Randolph Street, Suite 1425 , Arlington, VA SPONSOR/MONITOR'S ACRONYM(S) SPONSOR/MONITOR'S REPORT NUMBER(S) DISTRIBUTION / AVAILABILITY STATEMENTApproved for public release; distribution unlimited. SUPPLEMENTARY NOTESThe views expressed in this report are those of the author and do not reflect the official policy or position of the Department of Defense or the U.S. Government. ABSTRACTThis paper presents two computer-aided techniques for discovering formal specification behavioral requirements and for mapping components and methods within an implementation to their driving requirements. The first technique uses a system reference model (SRM) abstraction and a set of existing formal specifications to discover implementation components that are not well covered by the formal specification set. This technique also provides a mapping between requirements and code segments driven by those requirements. The second technique uses a bounded constraint solver to match a set of tests with a generic formal specification taken from a small library. SUBJECT TERMS

show abstract

Section: Formal Specifications Using Statechart Assertionsmentioning

confidence: 99%

“…Our lightweight technique assumes that assertions have been well validated, preferably using validation patterns, as suggested in [D2,DMTS].…”

Section: Validationmentioning

confidence: 99%

Computer-Aided Discovery of Formal Specification Behavioral Requirements and Requirement to Implementation Mappings

Drusinsky¹

2014

Self Cite

View full text Add to dashboard Cite

show abstract

“…Much of this section is a summary of our previous research on reuse reported in [3,4]. We will describe the SRM and discuss how the SRM artifacts can and should be reused.…”

Section: Srm and Reusementioning

confidence: 99%

“…We proposed a framework for a reuse library in [4] and described a way of reusing libraries of statechart assertions in [3]. Instead of defining assertions from scratch, the modelers reuse assertions from a library.…”

Section: Srm and Reusementioning

confidence: 99%

See 1 more Smart Citation

Goal-driven software reuse in the IV&V of system of systems

Otani

Michael

Shing

2010

2010 5th International Conference on System of Systems Engineering

Self Cite

View full text Add to dashboard Cite

This paper addresses the need to increase the effectiveness and productivity of independent verification and validation (IV&V) of complex systemof-systems software via software reuse. It builds upon our previous work on reusing the system reference model (SRM) artifacts in the IV&V of system-ofsystems software and presents a framework for organizing the reusable artifacts according to a common set of business goals. We demonstrate the proposed framework using NASA science missions as examples.

show abstract

Validating quality attribute requirements via execution‐based model checking

Drusinsky

Shing

2012

Softw Pract Exp

Self Cite

View full text Add to dashboard Cite

SUMMARY This paper is concerned with the correct specification and validation of quality attribute requirements (QARs) that crosscut through a diverse set of complex system functions. These requirements act as modifiers of system level functional requirements and thus have substantial influence on the eventual architectural selection. Because system designers traditionally address these requirements one quality attribute at a time, the process frequently results in QARs that contain subtle conflicting behaviors. This paper presents an approach to QAR‐induced behavior validation and conflict detection via execution‐based model checking early in the software development process. It explores the concept of conflicts between requirements with temporal and sequencing behaviors and presents an automated approach for discovering such conflicts. Published 2012. This article is a US Government work and is in the public domain in the USA.

show abstract

Validating UML Statechart-Based Assertions Libraries for Improved Reliability and Assurance

Abstract: Abstract

Cited by 16 publications

References 4 publications

Computer-Aided Discovery of Formal Specification Behavioral Requirements and Requirement to Implementation Mappings

Computer-Aided Discovery of Formal Specification Behavioral Requirements and Requirement to Implementation Mappings

Goal-driven software reuse in the IV&V of system of systems

Validating quality attribute requirements via execution‐based model checking

Contact Info

Product

Resources

About

Validating UML Statechart-Based Assertions Libraries for Improved Reliability and Assurance

Abstract: Abstract

Cited by 16 publications

References 4 publications

Computer-Aided Discovery of Formal Specification Behavioral Requirements and Requirement to Implementation Mappings

Computer-Aided Discovery of Formal Specification Behavioral Requirements and Requirement to Implementation Mappings

Goal-driven software reuse in the IV&amp;V of system of systems

Validating quality attribute requirements via execution‐based model checking

Contact Info

Product

Resources

About

Goal-driven software reuse in the IV&V of system of systems