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

Licena do material
Este Trabalho foi licenciado com uma Licena
Creative Commons - Atribuio-NoComercial-
CompartilhaIgual 3.0 No Adaptada.

Mais informaes visite
http://creativecommons.org/licenses/by-nc-sa/3.0/deed.pt

http://assertlab.com/

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/

Cloud Reference Architecture

NIST SP 500-292, NIST Cloud Computing Reference Architecture

http://www.nist.gov/manuscript-publication-search.cfm?pub_id=909505
http://assertlab.com/

v-SMADL (uCloud Console) GUI

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/

10

http://assertlab.com/

11

ASSERT Lab

12 Ph.D.
UFPE: Vinicius Garcia, Silvio Meira, Clio Silva, Kiev Gama
UFRPE: Cea Moraes, Rodrigo Assad, Leandro Nascimento
UFC: Fernando Trinta
UFBA: Fred Duro
UFSCar: Daniel Lucrdio, Alexandre Alvaro
SERPRO: Vanilson Burgio

11 Ph.D. candidates

5 M.Sc.

10 M.Sc. Candidates [+MProf]

7 under-grad students

http://assertlab.com/

12

Obrigado
Vinicius Cardoso Garcia
vcg@cin.ufpe.br

ASSERT Lab
http://assertlab.com

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

13