• Publications
  • Influence
Modeling and Reasoning about Service Behaviors and Their Compositions
Service-oriented systems have recently emerged as context-independent component-based systems. Unlike components, services can be created, invoked, composed, and destroyed at run-time. Consequently,Expand
  • 18
  • 3
  • PDF
ABV - A Verifier for the Architecture Analysis and Design Language (AADL)
Designing and developing mission-critical embedded systems is challenging, especially due to additional platform constraints regarding timing and computational resources. The development process ofExpand
  • 38
  • 2
  • PDF
REMES: A Resource Model for Embedded Systems
In this paper, we introduce the model REMES for formalmodeling and analysis of embedded resources such as storage,energy, communication, and computation. The modelis a state-machine based behavioralExpand
  • 65
  • 2
  • PDF
SMT-based consistency analysis of industrial systems requirements
As the complexity of industrial systems increases, it becomes difficult to ensure the correctness of system requirements specifications with respect to certain criteria such as consistency. AutomatedExpand
  • 7
  • 2
Automated specification and verification of functional safety in heavy-vehicles: The VeriSpec approach
ISO 26262 is the new standard for automotive functional safety. This standard identifies major process steps across a large number of system stages as well as safety-related artifacts required asExpand
  • 5
  • 2
  • PDF
Verifying MARTE/CCSL Mode Behaviors Using UPPAAL
In the development of safety-critical embedded systems, the ability to formally analyze system behavior models, based on timing and causality, helps the designer to get insight into the systemsExpand
  • 33
  • 1
  • PDF
A methodology for formal analysis and verification of EAST-ADL models
The architectural design of embedded software has a direct impact on the final implementation, with respect to performance and other quality attributes. Therefore, guaranteeing that an architecturalExpand
  • 35
  • 1
Chapter Three - A Research Overview of Tool-Supported Model-based Testing of Requirements-based Designs
Software testing aims at gaining confidence in software products through fault detection, by observing the differences between the behavior of the implementation and the expected behavior describedExpand
  • 16
  • 1
Simulink to UPPAAL Statistical Model Checker: Analyzing Automotive Industrial Systems
The advanced technology used for developing modern automotive systems increases their complexity, making their correctness assurance very tedious. To enable analysis by simulation, but also enhanceExpand
  • 17
  • 1
  • PDF
ReSA Tool: Structured requirements specification and SAT-based consistency-checking
Most industrial embedded systems requirements are specified in natural language, hence they can sometimes be ambiguous and error-prone. Moreover, employing an early-stage model-based incrementalExpand
  • 11
  • 1
  • PDF