Search Results - "Heimdahl, M.P.E."

The effect of program and model structure on mc/dc test adequacy coverage by Rajan, A., Whalen, M.W., Heimdahl, M.P.E.

“…In avionics and other critical systems domains, adequacy of test suites is currently measured using the MC/DC metric on source code (or on a model in…”
Get full text

Test-suite reduction for model based tests: effects on test quality and implications for testing by Heimdahl, M.P.E., George, D.

“…Model checking techniques can be successfully employed as a test case generation technique to generate tests from formal models. The number of tests cases…”
Get full text

Completeness and consistency in hierarchical state-based requirements by Heimdahl, M.P.E., Leveson, N.G.

“…This paper describes methods for automatically analyzing formal, state-based requirements specifications for some aspects of completeness and consistency. The…”
Get full text

Requirements specification for process-control systems by Leveson, N.G., Heimdahl, M.P.E., Hildreth, H., Reese, J.D.

“…The paper describes an approach to writing requirements specifications for process-control systems, a specification language that supports this approach, and…”
Get full text

Behavioral Fault Modeling for Model-based Safety Analysis by Joshi, A., Heimdahl, M.P.E.

“…Recent work in the area of model-based safety analysis has demonstrated key advantages of this methodology over traditional approaches, for example, the…”
Get full text

Specification test coverage adequacy criteria = specification test generation inadequacy criteria by Heimdahl, M.P.E., George, D., Weber, R.

“…The successful analysis technique model checking can be employed as a test-case generation technique to generate tests from formal models. When using a model…”
Get full text

Model checking RSML/sup -e/ requirements by Yunja Choi, Heimdahl, M.P.E.

“…Model checking is a promising technique for automated verification or refutation of software systems. Nevertheless, it has not been used widely in practice…”
Get full text

Interaction Testing in Model-Based Development: Effect on Model-Coverage by Bryce, R.C., Rajan, A., Heimdahl, M.P.E.

“…Model-based software development is gaining interest in domains such as avionics, space, and automotives. The model serves as the central artifact for the…”
Get full text

ReqsCov: A Tool for Measuring Test-Adequacy over Requirements by Staats, M., Deng, W., Rajan, A., Heimdahl, M.P.E., Woodham, K.

“…When creating test cases for software, a common approach is to create tests that exercise requirements. Determining the adequacy of test cases, however, is…”
Get full text

A proposal for model-based safety analysis by Joshi, A., Miller, S.P., Whalen, M., Heimdahl, M.P.E.

“…System safety analysis techniques are well established and are used extensively during the design of safety-critical systems. Despite this, most of the…”
Get full text

Test-sequence generation from formal requirement models by Rayadurgam, S., Heimdahl, M.P.E.

“…This paper discusses a method for generating test sequences from state-based specifications. We show how a model checker can be used to automatically generate…”
Get full text

Combination model checking: approach and a case study by Yunja Choi, Heimdahl, M.P.E.

“…We present combination model checking approach using a SAT-based bounded model checker together with a BDD-based symbolic model checker to provide a more…”
Get full text

Safety and Software Intensive Systems: Challenges Old and New by Heimdahl, M.P.E.

“…There is an increased use of software in safety-critical systems; a trend that is likely to continue in the future. Although traditional system safety…”
Get full text

Coverage based test-case generation using model checkers by Rayadurgam, S., Heimdahl, M.P.E.

“…Presents a method for automatically generating test cases according to structural coverage criteria. We show how a model checker can be used to automatically…”
Get full text

On MC/DC and implementation structure: An empirical study by Heimdahl, M.P.E., Whalen, M.W., Rajan, A., Staats, M.

“…In civil avionics, obtaining DO-178B certification for highly critical airborne software requires that the adequacy of the code testing effort be measured…”
Get full text

Deviation analysis through model checking by Heimdahl, M.P.E., Choi, Y., Whalen, M.

“…Inaccuracies, or deviations, in the measurements of monitored variables in a control system are facts of life that control software must accommodate the…”
Get full text

Specification and analysis of intercomponent communication by Heimdahl, M.P.E., Thompson, J.M., Czerny, B.J.

“…The correctness, safety and robustness of the specification of a critical system are assessed through a combination of rigorous specification capture and…”
Get full text

Software requirements analysis for real-time process-control systems by Jaffe, M.S., Leveson, N.G., Heimdahl, M.P.E., Melhart, B.E.

“…A set of criteria is defined to help find errors in, software requirements specifications. Only analysis criteria that examine the behavioral description of…”
Get full text

Specification based prototyping of control systems by Heimdahl, M.P.E., Thompson, J.M.

“…We focus on an approach to simulation and debugging of formal software specifications for control systems called specification-based prototyping. Within the…”
Get full text

On the requirements of high-integrity code generation by Whalen, M.W., Heimdahl, M.P.E.

“…Although formal requirements specifications can provide a complete and consistent description of a safety-critical software system, designing and developing…”
Get full text