Dolev Dotan

Verification of embedded system's specification using collaborative simulation of SysML and simulink models

The authors propose an extension of SysML which enables description of continuous-time behavior. The authors also develop its execution tool integrated on Eclipse-based platform by exploiting co-simulation of SysML and MATLAB / Simulink. To demonstrate the effectiveness of the tool and the extension to SysML in verifying specifications of an embedded system, we create a sample model and analyze its execution results by checking constraints under a test case.

Debugging and testing behavioral UML models

As software complexity increases, the process of software development is shifting from being code-centric to model-centric. For this purpose, UML augments the object-oriented paradigm with powerful and flexible behavioral modeling capabilities. It allows the developer to describe the systems behavior in a higher level of abstraction by using state machines, activities, and interactions. To facilitate such model-driven development, we present a plug-in for IBM Rationals modeling tools, which enables the execution, debugging and testing of UML models. The presentation will show how to use our tools to discover defects early in the development cycle, thus preventing costly rework at later stages. We will highlight the innovative features of our tools, such as model-level debug control, interactive dynamic debugging, and the extensibility that allows developing support for UML profiles.

A UML simulator based on a generic model execution engine

We implemented a generic model execution engine. The engine provides mechanisms for the realization and the execution of behavioral semantics, and the control and observation of model behavior. We used this generic execution engine to implement a UML Model Simulator. It is designed as an extension to Rational Software Architect (RSA), adding execution and debugging capabilities.

Algorithmic and visual analysis of spatiotemporal stops in movement data

Analyzing the occurrence of stops in transportation systems is an important challenge to better understand traffic congestion problems and find corresponding solutions. We propose an efficient system to analyze stop occurrences. It consists of two major parts: (1) an efficient clustering algorithm to partition the stops into groups based on strongly connected components (2) an interactive visual representation of the results to provide insights to domain experts.