<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">

<html>

<head>

<meta http-equiv="content-type" content="text/html; charset=UTF-8">

</head>

<body bgcolor="#ffffff" text="#000000">

Dobry den,<br>

<br>

rad bych vas pozval na dnesni seminar:<br>

<br>

<h2 class="clear"><span class="emphasis">2010-10-11 14:00 in S6:</span>

<em class="stitle">Adaptive software needs continuous verification</em></h2>

<div class="sitem">

<p><strong>Carlo Ghezzi <em>(Politecnico di Milano, Italy)</em></strong></p>

<div class="floatleft"><img

 src="cid:part1.09070503.03030400@d3s.mff.cuni.cz" alt="Carlo Ghezzi"

 width="100"></div>

<p class="sabstract"> Modern software applications are increasingly

embedded in an open world that is constantly evolving, because of

changes in the requirements, in the environment, and in usage profiles.

These changes are difficult to predict and anticipate, and are out of

control of the application. In many cases, changes cannot be handled

off-line, but require the software to self-react by adapting its

behavior dynamically, to continue to ensure the desired quality of

service. The big challenge in front of us is how to achieve the

necessary degrees of flexibility and dynamism required by software

applications without compromising the needed dependability.Â  The talk

focuses on quantitative probabilistic requirements. It discusses how

the initial design of an application may proceed through a model-driven

process towards an implementation that satisfies requirements.

Design-time parameters characterizing the environment are intrinsically

subject to uncertainty, both because predictions are intrinsically

inaccurate and because the environment is likely to change. It is thus

necessary to check at run time if these parameters change significantly

and may eventually lead to requirements violations. To do so, we need

to extend verification to run time, by monitoring the environment, in

order to get the real data that characterize it and affect the behavior

of the application, and feeding the model (which continues to exist at

run time) with new parameters, replacing the outdated values that were

used at development time. The updated model can check whether the

requirements are still met, or whether a reconfiguration is needed in

the application in order to continue to satisfy the requirements. The

talk reports on some results of recent research, developed within the

SMScom project, funded by the European Commission, Programme IDEAS-ERC,

Project 227977 (<a class="moz-txt-link-freetext" href="http://www.erc-smscom.org/">http://www.erc-smscom.org/</a>). The focus is on modelling,

model update, and automatic reasoning on requirements. An initial

attempt to support self-adapting reactions will also be outlined. </p>

</div>

<br>

<br>

S pozdravem,<br>

Tomas Bures<br>

<br>

<pre class="moz-signature" cols="72">-- 

Tomas Bures, Ph.D.

Assistant Professor

Department of Distributed and Dependable Systems

Charles University

Malostranske nam.25

11800 Prague 1, Czech Republic

<a class="moz-txt-link-freetext" href="http://dsrg.mff.cuni.cz">http://dsrg.mff.cuni.cz</a>

Phone: (+420) 2 2191 4236

Fax:   (+420) 2 2191 4323</pre>

</body>

</html>