Laquso Shared

LaQuSo is an activity of 3TU.Netherlands Institute for Research on ICT and Radboud University Nijmegen

LaQuSo Laboratory for Quality Software

Copyright © LaQuSo Eindhoven 2008

Goals

Support of relevant ICT research

Validation of academic results

Valorization of academic results


Collaborative Effort

Dept. of Mathematics and Computer Science

Information Systems EG Databases & Hypermedia EG Architecture of Information Systems

Specification and Verification EG Formal Methods EG Analysis and Design of Systems

Software and Systems Engineering EG Software Engineering and Technology EG Systems Architecture and Networking EG Embedded Systems Security

Algorithms and Visualization EG Algorithms EG Visualization

Inst. for Computing and Information Sciences

Digital Security

Information and Knowledge Systems

Informatics for Technical Applications

Software Technology

Foundations


Organization


Organization

prof. dr. ir. J.F. GrooteHG 6.29

dr. J.I. den Hartogdr. A.O.D. Spiesens

HG 5.95

dr. ir. I. BarosanHG 8.61


Organization

3TU

NIRICT Laboratories - LaQuSo

SectionSoftware and Systems Engineering

SectionInformation Systems

SectionAlgorithms & Visualization

SectionSpecification & Verification

Front-Office

Back-Office

NIRICT Embedded Systems Institute

JRU

Industry / Government

u v

w

x

yz{

|


Code Analysis

Process Mining

Security Analysis

Systems Modeling

Focus


PROCESS ANALYSIS / PROCESS MINING

Beyond Business Intelligence


Process Mining


Process Mining

software system

process/systemmodel

eventlogs

modelsanalyzes

discovery

records events, e.g., messages,

transactions, etc.

specifies configures implements

analyzes

supports/controls

conformance

“world”

people machines

organizationscomponents

business processes

verification

Start

Register order

Prepareshipment

Ship goods

(Re)send bill

Receive paymentContact

customer

Archive order

End


Basic Performance Metrics Process Model Organizational Model Social Network Model Decision Point Analysis Auditing & Security

Process Mining


Process Mining

Specification

Log

Conformance check


Process Mining


CODE ANALYSIS / CODE MINING

Dependencies, Metrics, Behavior


Code Analysis

MiningSoftwar

eCode Base Data Report

SQUAVISIT• Cobol• Java• C++, C#, C• PL/SQL• ABAP (SAP)


Code Analysis

metrics visualization


Code Analysis

code clone detection


Code Analysis

static structure – hierarchical dependencies


Code Analysis

static structure – cross dependencies


Code Analysis


call graph

execution trace


Code Analysis



Code Evolution Analysis

code evolution visualization


Model Analysis

design metrics visualization


Model Analysis

architectural regions of interest


SECURITY ANALYSISModeling and verification of security properties


SYSTEMS MODELINGModeling and verification of communicating systems


Systems Modeling

self organizing directed graph


Systems Modeling

state space as 3D tree of clusters and states


Systems Modeling

state space as 3D tree of clusters and states

In particular for determining symmetries


Systems Modeling

graph of clusters of states

LaQuSo is an activity of 3TU.Netherlands Institute for Research on ICT and Radboud University Nijmegen

Visiting Address:TU/e campus, Hoofdgebouw 5.91Den Dolech 2, Eindhoven

Mailing Address:HG 5.91Postbus 5135600 MB Eindhoven

Telephone:040-2472526Fax: 040-2474252

Email:[email protected] Site:www.laquso.com

Laquso Shared

Technology

Transcript of Laquso Shared