assert lab 2014

13
 !""#$% ' !()*+ ,-( "./?-; *+( "36?1*9- #+<7+--97+< $-/-*9,= %-,=+3:3<7-/ 8*5 !"#$%& (" )#*&%+,$-./ ?#-;"%3-(/(" 6"("%/1 (" 9"%#/+<7.& =-#-.-73 !/%(&3& :/%.-/ ;.85.-#07*2"0<% >$$24OO/33"%$1/<0.&+O

Upload: vinicius-cardoso-garcia

Post on 08-Oct-2015

52 views

Category:

Documents


0 download

DESCRIPTION

Apresentação da agenda de trabalho do ASSERT Lab para os alunos do Mestrado Profissional em Ciência da Computação do CIn

TRANSCRIPT

  • 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