for you 2009 NIRICT Strategy Day Laboratory for Quality Software 12 February 2009 / H.T.G. Weffers

TU/e – E INDHOVEN 3TU.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

Focus Areas LaQuSo Code Mining & Analysis Code Mining & Analysis Process Mining & Analysis Process Mining & Analysis Software Model Analysis Software Model Analysis Security Analysis Security Analysis 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. van Eekelen Project Acquisition Project Management Project Management Certification Project N Project 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) MiningSystemMiningSystem Code Base internal representation analysis report relevant raw data original data Cobol C, C++, C# Java ABAP (SAP)* … Data Staging Filter Select Preprocess … analysis design and/or develop process and analysis report and/or consultancy

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 – D ELFT 3TU.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 ( Replaces previous build farm implementation Draft paper: Current users: NixOS, Stratego/XT Now ready to add projects from other 3TU users Contact Eelco Dolstra,

The Delft LaQuSo Build Farm

UT – E NSCHEDE 3TU.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

L INKING SCIENTIFIC RESEARCH AND INNOVATION 3TU.NIRICT Laboratory for Quality Software