[eas_cs_seminars] 26th September 2017

[Luca Rossi]

Hi all,

This is a reminder of tomorrow's seminar held by Dr. Lorena
Gutiérrez-Madroñal (https://ucase.uca.es/lorena-gutierrez-madronal) and
titled "Testing IoT systems through IoT-TEG". For more info see
https://cs.aston.ac.uk/seminars/

The talk will be in MB564 from 2pm to 3pm.

Best regards,
Luca

On 19 September 2017 at 10:41, Luca Rossi <l.rossi at aston.ac.uk> wrote:

> Dear all,
>
> Next Tuesday (26/09) Dr. Lorena Gutiérrez-Madroñal (
> https://ucase.uca.es/lorena-gutierrez-madronal) will give a talk titled
> "Testing IoT systems through IoT-TEG" in MB564 from 2pm to 3pm.
>
> This will be the first talk of this year's seminar series. I'm looking
> forward to seeing you there,
> Luca
>
> Abstract:
>
> Internet of Things (IoT) has been increasingly become popular in different
> areas. One of the main drawbacks of the IoT systems is the amount of
> information they have to handle. This information arrives as events that
> need to be processed in real time in order to make correct decisions. As a
> consequence, new ways (tools, devices, mechanisms...) of obtaining,
> processing and transmitting information have to be put into action. It is
> worth mentioning the “Event Processing Languages” (EPL), which were created
> to detect, in real time, interesting situations in a particular domain.
> These languages use patterns to filter the information. A huge amount of
> data is processed and analysed by EPLs, so any programmer error could
> seriously affect the outcome because of a poor decision making system.
> Given that processing the data is crucial, testing and analysing programs
> which run any EPL language is required. The most common mistakes that
> programmers could make have to be detected. A large number of events with
> specific values and structures are needed to apply any kind of testing in
> programs which use EPL. As this is a very hard task and very prone to error
> if done by hand, a method is presented, which addresses the automated
> generation of events. This method includes a general definition of what is
> an event type and its representation is proposed. Additionally, IoT-TEG
> event generator is developed based on this definition. Results from
> experiments and real-world tests show that the developed method meets the
> demanded requirements.
>
> --
> Luca Rossi
>
> Lecturer in Computer Science
> School of Engineering and Applied Science
> Aston University
> Web: http://www.cs.aston.ac.uk/~rossil/
> <http://www.cs.bham.ac.uk/~rossil/>
>



-- 
Luca Rossi

Lecturer in Computer Science
School of Engineering and Applied Science
Aston University
Web: http://www.cs.aston.ac.uk/~rossil/ <http://www.cs.bham.ac.uk/~rossil/>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.aston.ac.uk/pipermail/eas_cs_seminars/attachments/20170925/01417186/attachment.html