for you

2009 NIRICT Strategy Day

Laboratory for Quality Software12 February 2009 / H.T.G. Weffers

TU/e – EINDHOVEN3TU.NIRICT Laboratory for Quality Software

Organization

Department of Mathematics and Computer Science

• EG Databases & Hypermedia• EG Architecture of Information Systems

• EG Formal Methods• EG Analysis and Design of Systems

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

• EG Algorithms• EG Visualization

Institute for Computing and Information Sciences

• Digital Security

• Information and Knowledge Systems

• Informatics for Technical Applications

• Software Technology

• Foundations

part of

Goals

• Support of relevant research on ICT, in particular on IT• Industrialization of academic results

• Validation of academic results

• Valorization of academic results

Contributing to

Promotion of excellence and utilization of knowledge to strengthen technological and societal innovation.

Position

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{

|

Focus AreasLaQuSoLaQuSo

Code Mining &Analysis

Code Mining &Analysis

ProcessMining & Analysis

ProcessMining & Analysis

SoftwareModel Analysis

SoftwareModel Analysis

SecurityAnalysisSecurityAnalysis

prof. dr. ir. J.F. Grooteprof. dr. ir. W.M.P. van der Aalst prof. dr. K.M. van Hee

prof. dr. B.P.J. Jacobs prof. dr. S. Etalle

prof. dr. M.G.J. van den Brand

prof. dr. M.G.J. van den Brandprof. dr. M. van Eekelen

Project AcquisitionProject Acquisition

Project Management

Project Management

CertificationCertification

Project NProject N

Project 1Project 1

…

Activities (General)

• Industry Liaison • i.c.w. United Brains, TU/e Innovation Lab

• Project • acquisition • execution• support (infrastructure, development, legal) & management

• Marketing & Communication• e.g. VVSS 11 June 2009 • e.g. CeDICT Event 24 April 2009• e.g. “Succes met de Requirements” i.c.w. Logica and SysQa

• Training

Activities (Projects)

• EU• INESS, TWINS, …

• National• PON, …

• Government• Ministerie van Justitie, Ministerie van Binnenlandse Zaken

en Koninkrijksrelaties, Waterschapshuis, Politie, …

• Industry• DSM, UPC, NXP Semiconductors, APG, De Lage Landen,

Cepo, …

Activities (Example)

MiningMiningSystemSystemMiningMiningSystemSystem

Code BaseCode BaseCode BaseCode Baseinternal

representation

analysis report

relevantraw data

original data

• Cobol• C, C++, C#• Java• ABAP (SAP)*• …

Data Staging

• Filter• Select• Preprocess• …

analysisdesign and/or

developprocess and

analysisreport and/orconsultancy

Activities (Example)

• Readiness Assessment

• Pilot• Quick scan (on sample dataset)• design/develop extraction software and tune mining system

• Application • Small-scale (on representative dataset)• Large-scale (on full dataset)

• Deployment Support

Developments

• Strengthening organization• Strengthening organizational embedding• Extending collaboration• More focus on sustainable (industry)

partnerships• Extending ICT Infrastructure

• Various project proposals ‘en route’…• FES CEI proposal i.c.w. ESI, STW, ITEA2, Eureka/Celtic, …

TUD – DELFT3TU.NIRICT Laboratory for Quality Software

The Delft LaQuSo Build Farm

• Build farm: system that automatically builds, tests and analyses software packages, on many platforms

• Tries to find causes of failures• Packages them to make them directly available

to users

• Currently under development at TUD as part of the 3TU.NIRICT LaQuSo Infrastructure

Contributed by Eelco Dolstra, Andy Zaidman

The Delft LaQuSo Build Farm

• Testbed for analysis tools• Research goals:

• How to manage build farm variability?• Automatic exploration of the configuration space — try to

select configurations more likely to exhibit problems.• Virtual machine synthesis• ...

• Principal users:• 3TU projects• Other academic projects• Open source projects• Students (thesis projects, software engineering courses, ...)

The Delft LaQuSo Build Farm

• Status• New implementation: Hydra (http://hydra.nixos.org/)• Replaces previous build farm implementation• Draft paper:

http://www.st.ewi.tudelft.nl/dolstra/pubs/hydra-scp-submitted.pdf

• Current users: NixOS, Stratego/XT• Now ready to add projects from other 3TU users• Contact Eelco Dolstra, e.dolstra@tudelft.nl

The Delft LaQuSo Build Farm

UT – ENSCHEDE3TU.NIRICT Laboratory for Quality Software

Overview

• Funding as of 2009

• In 2008, in collaboration with LaQuSo at Delft University of Technology, integration ‘in’ “Build Farm”

• In 2008, project proposal for collaboration at Cordys

• In 2007, in collaboration with LaQuSo at Eindhoven University of Technology, feasibility project at Cordys.

Contributed by Arend Rensink

LINKING SCIENTIFIC RESEARCH AND INNOVATION

3TU.NIRICT Laboratory for Quality Software