46 citations · 47 across the 5 of their papers we have counts for
6 papers
SimSched: A tool for Simulating Autosar Implementaion in Simulink
Jian Chen, Manar H. Alalfi, Thomas R. Dean +1
AUTOSAR (AUTomotive Open System ARchitecture) is an open industry standard for the automotive sector. It defines the three-layered automotive software architecture. One of these la…
Applying Declarative Analysis to Software Product Line Models: An Industrial Study
Ramy Shahin, Robert Hackman, Rafael Toledo +3
Software Product Lines (SPLs) are families of related software products developed from a common set of artifacts. Most existing analysis tools can be applied to a single product at…
Compositional Verification of Evolving Software Product Lines
Jean-Vivien Millo, S. Ramesh, Shankara Narayanan Krishna +1
This paper presents a novel approach to the design verification of Software Product Lines(SPL). The proposed approach assumes that the requirements and designs are modeled as finit…
Formalizing Traceability and Derivability in Software Product Lines
Shankara Narayanan Krishna, Ganesh Narwane, Ramesh S. +2
In the literature, the definition of product in a Software Product Line (SPL) is based upon the notion of consistency of the constraints, imposed by variability and traceability re…
Automated Synthesis of Assertion Monitors using Visual Specifications
Ambar A. Gadkari, S. Ramesh
Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors…
Model Checking of Statechart Models: Survey and Research Directions
Purandar Bhaduri, S. Ramesh
We survey existing approaches to the formal verification of statecharts using model checking. Although the semantics and subset of statecharts used in each approach varies consider…