ASSERT Lab 2014

ASSERT - Advanced System and Software Engineering Research Technologies Lab

Centro de Informtica

Universidade Federal de Pernambuco

Vinicius Cardoso Garcia

[email protected]

http://assertlab.com/

Licena do material

http://assertlab.com/ 2

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

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/ 3

http://assertlab.com/manifesto

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.

http://assertlab.com/ 4

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://doi.acm.org/10.1145/2209249.2209268

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/ 5

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/ 6

Tpicos de Pesquisa

Cloud Computing Social Machines Software Architecture Smart Cities Software Language Engineering Software Product Lines

http://assertlab.com/ 7

Cloud Reference Architecture

http://assertlab.com/ 8

NIST SP 500-292, NIST Cloud Computing Reference Architecture http://www.nist.gov/manuscript-publication-search.cfm?pub_id=909505

v-SMADL (uCloud Console) GUI

http://assertlab.com/ 9

http://assertlab.com/ 10

Self-Deployable Applications Factory

Business Domain Creator

DSL Framework DSL Toolkit

DSL Engine Framework

s

App Repository

App Specications

Business App

Infrastructure App

App Templates

Data Cloud Platform

. . .

Self-Deployable Applications Platform

Services App Self Dep. System Messages

Self-Deployable App Reference Architecture

Security

App Execution Engine

Federation Mayor

Life Cycle Manager

Router Aplicaes dos Usurios Provisioning

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 [email protected]

ASSERT Lab http://assertlab.com

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

http://assertlab.com/ 13