http://assertlab.

com/

ASSERT - Advanced System

and Software Engineering
Research Technologies Lab
Centro de Informtica
Universidade Federal de Pernambuco

Vinicius Cardoso Garcia
vcg@cin.ufpe.br

http://assertlab.com/manifesto

Manifesto
Comprometido com resultados prticos e
intensivos em pesquisa de qualidade.
Mercado, e as empresas, de TI
(inicialmente .BR) enfrentam nas novas
plataformas de mercado, negcios e
tecnologias.
http://assertlab.com/

http://doi.acm.org/10.1145/2209249.2209268

Large-scale Complex it systems

LSCITS so sistemas organizacionais
utilizados por um grande nmero, ou
conjunto, de stakeholders com diferentes
objetivos, vises, eventualmente culturas, e
propsitos.
Ian Sommerville, Dave Cli, Radu Calinescu, Justin Keen, Tim Kelly, Marta Kwiatkowska, John
Mcdermid, and Richard Paige. 2012. Large-scale complex IT systems. Commun. ACM 55, 7 (July
2012), 71-77.
http://assertlab.com/

Agenda de Trabalho (a)

How can we design, develop, model and simulate the interactions
between independent systems (SaaS or SaSM - Systems as Social
Machines)?
How can we monitor coalitions or federations of [SaaS or SaSM]
and what are the warning signs of problems?
How can [SaaS or SaSM] be designed to recover from failure?
How can we integrate socio-technical factors into [SaaS or SaSM]
and software engineering methods?
To what extent can coalitions of [SaaS or SaSM] be self-managing?
http://assertlab.com/

Agenda de Trabalho (b)

How can we manage complex, dynamically changing [SaaS or SaSM]

congurations? And intra and/or inter federations of [SaaS or SaSM]?

How can we support the agile engineering of coalitions or federations of [SaaS or

SaSM]?

How should coalitions or federations of [SaaS or SaSM] be regulated and

certied?

How can we do probabilistic verication of [SaaS or SaSM]?

How should shared knowledge in a coalition federation of [SaaS or SaSM] be

represented?

How can we prepare system and software engineers to build single, coalitions or
federations of [SaaS or SaSM]?

http://assertlab.com/

Tpicos de Pesquisa
Cloud Computing
Social Machines
Software Architecture
Smart Cities
Software Language Engineering
Software Product Lines
http://assertlab.com/

Social
Multimedia
Computing

Social Networks

Computational
Social Science
Theory

Multi-agent
System

Sociology

Cloud Computing
Software as a Service
Platform as a Service
Infrastruture as a Service

Self-
Deployable
App
Platform

Services
Disposal

Dynamic
Architectures

Services
Product Lines

Services
Sharing

Architectural
Evaluation

Architectural
Design

Variability

Business
Model

Fault
Tolerance

Cultural Issues

Billing &
Monitoring

Orchestration

Requirements
Traceability

Social Machines Computing

Quality
Assurance
Monitoring
Metrics

Self-Deployable
App Factory

Business App

Creation
App
Repository
Frameworks

Data Cloud
Platform
http://assertlab.com/

Self-Deployable Applications Factory

Business Domain Creator

App Repository

DSL
Framework

DSL Toolkit

App
Specications

Business
App

Framework
s

DSL Engine

App
Templates

Infrastructure
App

Self-Deployable Applications Platform

Aplicaes dos Usurios

Router

Provisioning

Self-Deployable App
Reference Architecture

Life Cycle
Manager

Federation
Mayor

App
Execution
Engine

Services

App Self Dep.

System

Messages

Security

Data Cloud Platform

. . .
http://assertlab.com/

ASSERT Lab
9 Ph.D.
UFPE: Vinicius Garcia, Silvio Meira, Clio Silva
UFRPE: Jones Albuquerque, Cea Moraes, Rodrigo Assad
UFC: Fernando Trinta
UFSCar: Daniel Lucrdio, Alexandre Alvaro

8 Ph.D. candidates
5 M.Sc.
18 M.Sc. Candidates [+MProf]
5 under-grad students
http://assertlab.com/

Obrigado
Vinicius Cardoso Garcia
vcg@cin.ufpe.br

ASSERT Lab
http://assertlab.com

Apresentao disponvel em
http://bit.ly/assertlab2013
http://assertlab.com/

10