Вы находитесь на странице: 1из 26

GrandesDesafiosdaPesquisaem

ComputaonoBrasil20062016

RelatriosobreoSeminriorealizadoem8e9demaiode2006
Autores

AndrC.PoncedeLeonF.deCarvalho,USP
AngeloBrayner,UNIFOR
AntonioLoureiro,UFMG
AntonioL.Furtado,PUCRio
ArndtvonStaa,PUCRio
CarlosJosPereiradeLucena,PUCRio
ClarisseSieckeniusdeSouza,PUCRio
ClaudiaMariaBauzerMedeiros,UNICAMP
CludioLeonardoLucchesi,UNICAMP
EdmundoSouzaeSilva,UFRJ
FlvioRechWagner,UFRGS
ImreSimon,USP
JacquesWainer,UNICAMP
JosCarlosMaldonado,USP
JosPalazzoM.deOliveira,UFRGS
LeilaRibeiro,UFRGS
LuizVelho,IMPA
MarcosAndrGonalves,UFMG
MariaCeciliaCalaniBaranauskas,UNICAMP
MartaMattoso,UFRJ
NvioZiviani,UFMG
PhilippeOlivierAlexandreNavaux,UFRGS
RicardodaSilvaTorres,UNICAMP
VirglioAugustoFernandesAlmeida,UFMG
WagnerMeiraJr.,UFMG
YoshiharuKohayakawa,USP
Prefcio

Este relatrio sintetiza os resultados do Seminrio Grandes Desafios de Pesquisa em


ComputaonoBrasil:20062016,realizadoemSoPaulonosdias8e9demaiode
2006.Oseminrio,promovidopelaSociedadeBrasileiradeComputao(SBC),como
apoiodaCAPESedaFAPESP,reuniuduranteosdoisdias26pesquisadoresbrasileirosda
readeComputao,autoresdesterelatrio.Osparticipantesforamselecionadosporuma
ComissodeCoordenaoapartirde47propostasdedesafiosenviadasdetodooBrasil.
Oscritriosdeseleopriorizaramaabrangnciaevisodefuturoemtermosdepesquisa.
O trabalhoeditorialdaComissodeCoordenaoprocurou preservarnorelatriofinal
apenasaspropostasconsideradasconsensuais.

O programa do seminrio foi dividido em duas etapas. Inicialmente, os trabalhos


selecionados foram apresentados de forma resumida. A seguir, os participantes foram
divididos em6grupos detrabalho,quediscutiramas propostas,consolidandoasem 5
desafios,apresentadosnesterelatrio.Asduasetapasforamintercaladasporumdebatede
dois convidados Profs Renato Janine Ribeiro e Gilberto Cmara sobre suas vises
relacionadasaotemadoencontroe.Emseguida,nasessofinal,osresultadosdareunio
foramdiscutidoscomrepresentantesdeagnciasdefomento,Softexesetoresdogoverno.

ASBCpretende,comestainiciativa,darincioaumasriedeseminriosmultidisciplinares
queaprofundemesteseoutrostemas,visandoaintensificaroplanejamentoeapesquisade
longoprazoemComputaonoBrasileacooperaocomoutrosdomnioscientficosdo
conhecimento.

A Comisso de Coordenao do Seminrio agradece a todos os que enviaram suas


propostas e, em particular, aos participantes, pelo trabalho realizado. Agradece
especialmente aos convidados externos, Carlos Nobre (CPTECINPE/ABC), Gilberto
Cmara(diretordoINPE),PauloArtaxo(USP/ABC)eRenatoJanineRibeiro(Diretorde
Avaliao da CAPES) pela participao no evento e pelos valiosos comentrios.
Finalmente,agradeceassugesteseapresena,nasessofinal,deCarlosHenriqueBrito
Cruz(DiretorCientficodaFAPESP), EratstenesRamalhodeArajo(SOFTEX),Jos
AugustoSuruagyMonteiro(CoordenadordoForumdeCoordenadoresdePsgraduao
daSBC)eAntenorCorrea(SEPIN).
.
Maiode2006

Carlos Jos Pereira de Lucena, Claudia Bauzer Medeiros, Cludio Leonardo Lucchesi, Jos Carlos
MaldonadoeVirglioAugustoFernandesAlmeida
1.Introduo

A Computao revolucionou a pesquisa cientfica, sendo hoje reconhecida como o


terceiropilarasustentartalpesquisa,juntocomospilaresdateoriaedaexperimentao
[1].Destaforma,elapermeiaosavanosemtodasasreasdoconhecimento.Novasformas
deinteraoentreascincias,emvriosnveiseescalas,somediadaspelaTecnologiada
Informao, que a simbiose da Cincia da Computao com diferentes domnios do
conhecimento. Muitas das grandes descobertas cientficas recentes so resultados do
trabalhodeequipesmultidisciplinaresqueenvolvemcientistasdaComputao.Finalmente,
elaumcomponenteindispensvelparaaimplementaoeofortalecimentodosobjetivos
econmicos, tecnolgicos e sociais de um pas. O Seminrio Grandes Desafios em
ComputaonoBrasilfoiconcebidoapartirdeiniciativassemelhantesrealizadasemoutras
partesdomundoeempreendidasapartirdessasconstataes.

1.1OqueumSeminriodeGrandesDesafiosdePesquisa?

UmseminriodeGrandesDesafiosdePesquisanoumeventocientficotradicional.
Seu objetivo no apresentar resultados de pesquisas em andamento, mas sim definir
questesdepesquisaqueseroimportantesparaacinciaeparaopasnolongoprazo.
umeventoemqueoambientedeveserpropcioaopensamentocriativo,semoexcessode
crticasenecessidadedevalidaeseprovasquecaracterizamasconfernciastradicionais
paraaapresentaoderesultadosdepesquisa.Notampoucoumaconfernciadedefesa
deidiasouprojetospessoaisdepesquisa,massimumtrabalhocoletivodeidentificaoe
caracterizao degrandes problemas depesquisa. um esforo para orefinamento do
pensamentomaisorientadoaproblemasdoquesdisciplinasesquestesdaprpriarea.

O evento visou a estimular a reflexo sobre limites que esto alm dos avanos
incrementaisproduzidospelarea.So,principalmente,questesassociadasaproblemas
centraisquenopodemserresolvidasporpesquisasqueobjetivamresultadosdecurto
prazo.Sonecessriosmltiplosenfoquesparaatacargrandesdesafios,eestesdeveroser
pesquisadosdentrodeumhorizontedelongoprazo.Emresumo,oeventodevevislumbrar
grandes avanos,quepermitam criarumavisodefuturo,quenem semprepoderser
alcanadaporplanejamentosdecurtopasso,baseadosapenasemprojetosincrementaisdo
conhecimento.Aidentificaodegrandesdesafiosdepesquisacontribuiparaaformulao
deprojetosdenominadosHighRiskHighPayoff,quetmopotencialdeproduziravanos
significativosnocampocientfico,comaplicaessociaisetecnolgicasdegrandevalor.
Alguns aspectos caractersticos dos Grandes Desafios em Pesquisa esto resumidos a
seguir.

1. OsGrandesDesafiosdevemserdirigidosaavanossignificativosnacincia,ao
invsdeconquistasincrementaisbaseadosemresultadosexistentes.
2. AvisodeumGrandeDesafiodeveestarbemalmdaquiloquepodeserobtido
emumprojetodepesquisanoperodotpicodefinanciamentodeumgrant.
3. Os Grandes Desafios devem ser passiveis de avaliao clara e objetiva que
permitadefiniroseusucesso.
4. Os Grandes Desafios devem ser decomponveis e passveis de diagnstico
incremental,demodoapermitirmudanasdecursodurantesuarealizao..
5. OsGrandesDesafiosdevem serambiciososevisionrios,masnoirrealistas,
viveisdentrodeumprazopredefinidonocasodestainiciativa,10anos.
6. OsGrandesDesafiosdevemseratraentesemotivadoresparaasociedade.
7. OsGrandesDesafiosdevemserdesafiadoresemotivadoresparaacomunidade
cientfica.
8. Muitos dos problemas que constituem os Grandes Desafios de Pesquisa so
multidisciplinaresemsuanaturezaenaspossibilidadesdesoluo.
9. Os tpicos dos Grandes Desafios emergem de um consenso da comunidade
cientfica,paraservircomoumcenriodelongoprazoparaospesquisadores,
independentementedepolticasdefinanciamentoouquestesconjunturais.

1.2Propostaseexperinciassimilares

Esforosparaadefiniodegrandesdesafiosdepesquisaemdiversasreasdacincia
vm ocorrendo h vrios anos em pases de elevada tradio cientfica, como Estados
UnidoseInglaterra.Algunsexemplosso:

GrandChallengesinEnvironmentalSciences:realizadanosEUApeloNational
ResearchCouncil(NRC)apedidodaNationalScienceFoundation(NSF),para
as cincias ambientais. Um dos princpios era buscar direes inter e
multidisciplinares, tendoem vista que vrios problemas de pesquisanarea
ambientaltranscendembarreirasdedisciplinascientficastradicionais.

SustainabilityintheChemicalIndustry:osGrandesDesafiosenecessidadesde
pesquisa determinados foram: qumica verde, substituio de solventes,
melhoriadecatalisadores,fontesdeenergiarenovvelealfabetizaodigitalem
todososnveis

TheGrandChallengesinGlobalHealth:iniciativaemnvelmundialtentando
identificar14grandesdesafiosque,seresolvidos,podemlevaraimportantes
avanosnaprevenoetratamentodedoenasqueafetamemgrandeproporo
os2bilhesdepessoasmaispobresdomundo

GordonResearchConferences(GRCs):foruminternacionalparaaapresentao
ediscussodefronteirasdapesquisaemcinciasbiolgicas,qumicasefsicase
tecnologiasassociadas.

Em particular, na rea de Computao, existem duas iniciativas para definir


periodicamente Grandes Desafios em Pesquisa em Computao, as Grand Research
ChallengesinComputing,umanosEUAeoutranaInglaterra.NosEstadosUnidos,a
iniciativaapoiadapeloNationalScienceFoundationem2002resultounaformulaodos
seguintesdesafios:

1. Systemsyoucancounton
2. Ateacherforeverylearner
3. 911.net(ubiquitousinformationsystems)
4. Augmentedcognition
5. Conqueringcomplexity

Na Inglaterra a UK Computing Research Committee e a British Computer Society


produziramaseguintelistadedesafiosem2005:

1. InVivoInSilico
2. UbiquitousComputing:experience,designandscience
3. MemoriesofLife
4. TheArchitectureofBrainandMind
5. DependableSystemsEvolution
6. JourneysinNonclassicalComputation

1.3ASBCeosGrandesDesafiosdaComputaonoBrasil:20062016

OeventobrasileirofoiorganizadopelaSociedadeBrasileiradeComputao,apartirdo
modelodoseventosinternacionaiscitadosanteriormente.Oobjetivofoigerarumconjunto
de cinco Grandes Desafios para a Computao no Brasil, acompanhados de uma
especificaoclaraesucintadavisoparaotratamentodoproblemaemfoco.Almdisso,a
formulaodecadadesafiocontemploudebatessobreosseguintespontos:i)explicitao
dosbenefciosdabuscadasoluoparaoproblemaii)descriodamaneirademediro
sucesso do avano das pesquisas sobre o problema em questo, iii) elaborao das
dificuldadesebarreirasparasealcanarsucessonaspesquisasnareaemquestoeiv)
propostadeaesquedeveriamsertomadasparaseenfrentarodesafioemumperodode
10anos.

Oscincodesafiospropostos,descritosnasprximassees,foram:

1. GestodaInformaoemgrandesvolumesdedadosmultimdiadistribudos
2. Modelagemcomputacionaldesistemascomplexosartificiais,naturaisescio
culturaisedainteraohomemnatureza
3. Impactos para a rea da computao da transio do silcio para novas
tecnologias
4. Acessoparticipativoeuniversaldocidadobrasileiroaoconhecimento
5. Desenvolvimento tecnolgico de qualidade: sistemas disponveis, corretos,
seguros,escalveis,persistenteseubquos

2.Gestodainformaoemgrandesvolumesdedadosmultimdiadistribudos

Quase tudo que vemos, lemos, ouvimos, escrevemos, medimos coletado e


disponibilizado em sistemas de informao computacionais. Para obter efetividade e
eficincia,fundamentalcriarsoluesescalveisquepossamrespondersnecessidades
de desenvolvimento deaplicaes comesses dados. O objetivo destedesafio , assim,
desenvolversoluesparaotratamento,arecuperaoeadisseminao deinformao
relevante, de natureza tanto narrativa quanto descritiva, a partir de volumes
exponencialmentecrescentesdedadosmultimdia.

Vrios fatores contribuem para o crescimento explosivo de dados. O problema


tornouse mais visvel com a disseminao da Internet, em que indivduos, empresas,
governos, instituies no governamentais so produtores de contedo em potencial,
transformandoomundoemumaenormebasededadosqueatualizadaemtemporeal,por
milharesdepessoas,acadasegundo.Outrofatorcrticoparaageraoexponencialde
dados a apario de dispositivos que capturam novos tipos de dados extremamente
complexossatlites,microssensores,telescpios,cmerasdevdeoemexperimentosde
interaeshumanas,oudispositivosqueregistramaatividadecerebralemfacedeestmulos
diversos. Finalmente, dados so gerados por cientistas e pesquisadores ao fazer
experimentoseacessarservioscomputacionais,emcampostovariadosquantocincias
daterra,bioinformtica,medicina,oucinciassociais.Essesdadossodevriostipos(por
exemplo, som, vdeo, texto e dados analgicos posteriormente digitalizados) e usam
distintasunidadesdecoletaemedida(porexemplo,interaes,coletasfsicasdeespcimes
nanatureza),emvriasescalastemporaiseespaciais.

Todoesseimensoconjuntoheterogneodedados,distribudoportodooplaneta,preci
saserprocessado,armazenadoedisponibilizadoparatornarpossvelaextraodeinforma
oparaosmaisdiferentestiposdeusurios,emsoluesescalveis.Istoexige,dentreou
trosenfoques,pesquisaemnovastcnicasemtodosdegerenciamento,extraodeconte
dodesomeimagem,integrao,indexaoerecuperaodedadoseinformao.Alm
disso,apresentadesafiosdepreservaoesegurana.Maisainda,tendoemvistaaconstan
teevoluotecnolgica,precisogarantirquedadosarmazenadoscontinuemacessveis
comopassardosanosouseja,garantiadedurabilidadeeacessoemlongoprazo.Ainda,
outrosfatoresdepesquisaaconsiderarsoamodelagemdegrandesvolumesdedadosmul
timdia,formasdistintasdeentradaesadamultimodal,algoritmoseestruturasparaproces
samentootimizadodereduoeconsultaaosdadoseinformaese,cadavezmais,atendi
mentoadiferentesperfisenecessidadesdeaplicaeseusurios.

Para tratar esses grandes volumes de dados e informao distribudos tambm


essencialaexploraoeficientedetodososnveisdeparalelismo,donveldochip,hoje
comprocessadoresmulticore,passandopelonveldearquiteturadosnsintegradosatravs
de redes de alto desempenho em um cluster, at a formao de grades (grids) pela
comunicaodeclustersheterogneosatravsdeumaredeclssica,tipointernet.
Ograndedesafioaintegraodetodasessaslinhasereasparaconduziraaplicaes
que possam beneficiar o contexto scioeconomicocultural do Pas. Embora haja
resultados de pesquisa em cada uma das reas isoladas, alguns ainda incipientes, no
existempropostasqueconsideramasuaintegrao.

Opresentedesafioimportanteporque,almdeestimularapesquisaemreasbsicas
emComputao,suaintegraopodeinfluirnodesenvolvimentodeinmerasaplicaes
chaveemvriossetoresdasociedade.Exemplosso:criaodecontedoparaatividades
educacionais (elearning), gesto eficiente da informao visando apoio a governo
eletrnico (egov), extrao de subconjuntos interrelacionados de dados para apoio
pesquisacientfica(escience),disponibilizaodeinformaesrelevantesparadiagnstico
mdicodistncia(telemedicina)eentretenimentodigital.

Dasaplicaesestratgicasacimamencionadas,oentretenimentodigitalvemganhando
crescente relevncia pedaggica, econmica e social. Baseiase, dentre outras, nas
chamadas informaes narrativas, modalidade bem menos tratada at hoje pela
Computaodoqueainformaodescritiva,tipicamentedisponvelembancosdedados.
Abrangetantodomniosprticosdesistemasgerenciaisdeinformao,comognerosde
fico.Noprimeirocaso,forneceapoio,porexemplo,porexemplo,parasimulao,tomada
de deciso e treinamento; no segundo, para a composio e narrao de estrias
(storytelling), jogos eletrnicos e gerao de contedo para TV digital interativa.
Solues envolvem trabalhos em modelos conceituais de tais domnios ou gneros,
desenvolver mtodos e implementar sistemas de manipulao de enredos, e ganhar
experinciacomosrequisitosdosdiferentestiposdeaplicao.

Resumidamente,algunsdosgrandesproblemastcnicosecientficosaabordarpara
fazerfrenteaestedesafioso:
Reduo (abstrao e sumarizao) das massas de dados por meio de
modelagemcomputacional,simulaeseoutros;
Definio e uso da noo de contexto para a recuperao de informao,
considerandofatorescomolocalizaodousurio,perfildeinteresses,objetivos
dentreoutros;
Projetoeimplementaodedescritoresdecontedomultimodalealgoritmos
paraextraoeindexaodessesdescritores,permitindobuscasmultimodais;
Utilizaodeestruturasdeindexaodinmicasedistribudasdotipopeerto
peer;
Estudosemmodelosemecanismosdeconciliaoeintegraodedadoscom
largaescaladeheterogeneidade;
Considerao, no armazenamento e recuperao, de fatores inerentes
heterogeneidadenaaquisiodedadostaiscomofatorestemporaiseculturais,
mastambmtecnolgicos,comosensores,celulares,PDAs(i.e.,personaldigital
assistant),dentreoutros;
Estudo de formas alternativas de disponibilizao da informao, incluindo
pesquisaemnovostiposdeinterfaces;
Tratamentodaconfiabilidadeevalidadedosdadosedapropriedadeintelectual;
Formulao de modelos conceituais para especificar domnios ou gneros
envolvidos em aplicaes de entretenimento digital, desenvolvimento de
mtodoseimplementaodesistemasdemanipulaodeenredosdenarrativas
eseuusoexperimentalemaplicaesdiversas;
Estudo de infraestruturas adaptveis e inteligentes para o processamento
distribudodeinformaes;
Estudo de tcnicas e mtodos que garantam a persistncia de dados e
informaesporlongosperodosdetempo,parafinsdearquivamentohistrico;
Desenvolvimento de modelos, estruturas e algoritmos para construo de
grandes bibliotecas digitais distribudas, para gerenciamento da informao
multimdia.
3.Modelagemcomputacionaldesistemascomplexosartificiais,naturaise
scioculturaisedainteraohomemnatureza.

OtermoComputationalScience,criadoparacontrastarcomComputerScience,vem
sendo usado em todo o mundo para designar modelos, algoritmos e ferramentas
computacionaisparasoluodesistemascomplexosdediferentesnaturezas.Istopermite,
por exemplo, estudos de desempenho de grandes sistemas computacionais, sem a
necessidadede implementlos (por exemplo, simulando o comportamento de redes de
computadores com milhes de ns). Alm disso, possibilita que cientistas em outros
domnios do conhecimento possam investigar problemas que at recentemente no
poderiamsertratadospeloexcessodedadosmanipulados,pelaausnciadesolues
analticas,oupelainviabilidadedeestudlosemlaboratrios.Exemplossoestudosde
genmica,deprocessosbioqumicos,dafsicadepartculas,demudanasclimticas,de
fenmenos epidemiolgicosou de interaessociais commilhes departicipantes (por
exemplo,emcomunidadesdigitaisounaWeb).Modelagemesimulaocomputacionais
permitem tambm reduo de custos e avanos no setor industrial, executando
experimentosvirtuaisemsubstituioconstruodeumainfraestruturafsica.Oobjetivo
deste desafio criar, avaliar, modificar, compor, gerenciar e explorar modelos
computacionaisparatodosessesdomnioseaplicaes..

A modelagem matemtica de fenmenos se baseia em princpios bsicos (por


exemplo,dafsica,daqumica,daestatsticaoudamatemtica),emquearesoluodas
equaesoprincipalcomplicador.Jamodelagemcomputacionalenvolveumgrande
conjunto de algoritmos e tcnicas de simulao, manipulao de dados, minerao de
dados, dentreoutros, em queo modelo um dos produtos daprpria pesquisa,sendo
interpretadocomoumprocessocomputacionalquefiltra,transforma,aglutinaegeradados.
Isto envolve freqentemente cooperao entre cientistas da Computao e de outros
domnios. Normalmente, na modelagem computacional h incertezas sobre o prprio
modelo,poisessesenvolvemumgrandenmerodeparmetrosquedevemserexploradose
ajustados.

Acomplexidadedestetipodepesquisaaumentamedidaquecrescemovolumede
dadose/ouosparmetrosaseremconsiderados.Outrofatorcomplicadoranecessidade
freqente de combinar vrios domnios do conhecimento. Um exemplo tpico disso,
adaptado de [1], o seguinte. O estudo das bases biolgica e ambiental de doenas
respiratriasrequerum esforo multidisciplinar complexo de modelagem, que combina
dadosdeCinciasSociaisedeSadePblicaaexperimentoscommodelosdedinmica
dosfluidosaplicadosaofluxodearesubstnciasinalantes(fumaa,alergnicos).Requer,
ainda,modelosdaspropriedadesdemateriais,modelosbiofsicosdemovimentosdecilia
paraejetarcorposestranhosemodelosbiolgicosdesuscetibilidadegenticaadoenas.J
outroexemplo,mencionadoporCmara[2],nareadeestudosglobaisdomeioambiente,
mostra a necessidade de integrar diferentes modelos mudanas climticas, sistemas
humanos e naturais, desenvolvimento scioeconmico e emisses de concentrao de
gasesepoluentes.

Esta reatem atradoatenocrescente, por causa dos benefcioseconmicos e


sociais a ela associados. Vrios fatores vm contribuindo para avanos neste tipo de
pesquisa. Um deles a crescente disponibilidade de dados coletados sobre fenmenos
naturaisouartificiais,graasdisseminaodousodesensores.Outrofatoraevoluo
no hardware e em sistemas de software, que esto permitindo clculos de grande
complexidade,graasadoodeprocessamentoparaleloegradescomputacionaisoque
secostumaclassificarcomo computao emlargaescala.Avanoscientficosemoutras
reasdoconhecimento,desdeascinciasexataseengenhariasatascinciashumanase
sociais,vmigualmentepermitindorefinamentonosmodelosealgoritmos.

Setodosestesfatoresimpulsionamapesquisaemmodelagemcomputacionalde
sistemascomplexos,tambmtrazemproblemasparaoseudesenvolvimento,pelovolume
de dados gerados e pela complexidade crescente do processamento demandado. Por
exemplo,oconjuntodiriodedadosrecebidosdesatlitesediferentestiposdesensoresj
atingepetabytes(10**15),exigindopesquisaemtcnicasparareduodedados.Sistemas
de busca na Web, como o Google, demandam algumas centenas de milhares de
computadorestrabalhandosimultaneamenteparaconseguirresponderatodasasconsultas
emumtempoaceitvel,gerandoassimdemandadepesquisaemsimulaododesempenho
de redes. Estudos sobre o funcionamento das clulas do corpo humano prevem uma
possibilidadede10**18doenasdistintas.Todosessesexemplosexigempesquisadeponta
emarquiteturasavanadasdealtopodercomputacional.Destaforma,aomesmotempoque
aComputationalSciencepermiteestudosantesimpossveisemvriosdomnios,osavanos
destesltimosgeramdesafiosdepesquisaemComputao.

Vrios nveis de desafios especficos relacionados com a modelagem computacional,


podemsercitados,incluindo:

Processamentoemtemporealdealtssimastaxasdefluxosdedadosprovindos
demilharesdesensoresporexemplo,emestudosdecatstrofesnaturais(por
exemplo,enchentes)ousistemas deevacuaourbanosemfacededesastres
artificiais (por exemplo, acidentes nucleares). Isto exige pesquisa em, por
exemplo,distribuiodoprocessamento,novasarquiteturasdebancosdedados,
suportederedeparacomportarestefluxo;

Criaodenovostiposdealgoritmosemecanismosdecoletaeprocessamento
dedadosquecapturemvariveisrelativasainteraessociaisescioculturais;

Definio de estruturas de armazenamento para registrar os modelos


computacionais e os fatores associados sua sintonia e execuo em um
ambienteparaleloedistribudo;
Desenvolvimento deferramentas para a construo colaborativade modelos,
apoio sua execuoe modificao adaptativa em tempo real, para que tal
execuoleveemcontamudanasocorridasnomundorealenquantoomodelo
executado;

Criaodenovosalgoritmosetcnicasemvisualizaocientfica,parapermitir
capturar de forma visual a complexidade dos objetos modelados e de suas
interaesporexemplo,ajudandoaentenderadinmicadeumtornadooua
evoluodaerosocausadapelaocupaohumanainadequadaemumaregio;

Pesquisasobreoimpacto,emengenhariadesoftware,resultantedanecessidade
da colaborao entre cientistas da Computao e cientistas dos demais
domnios;

Tratamentodosproblemasdeaumentonadimensionalidade(nmerocrescente
devariveisemumproblema)eescalabilidade,quecontribuemparatemposde
processamentoexponencial;

Utilizaodeprocessamentoparaleloenvolvendorecursosheterogneoscomo
nasgrades(grids)computacionais;

Estudoseminterfacesmultimodaisextensveisparapermitiroentendimentodos
fenmenosmodeladosefacilitaraconfiguraodinmicadosmodelos;e

Integraodealgoritmos,estruturasdedadosemodeloscriadospordiferentes
disciplinasusandometodologiasprprias.
4.Impactosparaareadecomputaodatransiodosilcioparanovas
tecnologias.

HapercepodoslimitesdaleideMoore1,devidoproximidadedatecnologia
dos limitesfsicosdotomo.J existem diversas pesquisasparaodesenvolvimento de
novastecnologiasquesubstituirooutrabalharocomplementarmenteaosilcio.Asnovas
propostasporexemplo,computaoqunticaoubaseadaemfenmenosbiolgicosiro
requerermudanasradicaisnaformacomoconcebemosetrabalhamosnaComputao.O
objetivodestedesafioanalisarquaisasmudanaspelasquaisdevempassarapesquisaeo
desenvolvimento em Computao como conseqncia datransio paranovos tipos de
paradigmadeprocessamento.

Astecnologiasquevisamacompensaraslimitaesdosilciosofremdeummesmo
malemborapossuamenormecapacidadedeintegrao,permitindomuitoparalelismo,so
bemmaislentasdoqueastecnologiasatuais.Almdisto,todasapresentaroconfiabilidade
baixaealtasensibilidadeadefeitoserudos,quehojeaindanosodominantesnoprojeto
digital.Esteproblema,alis,acontecerempoucosanostambmcomosilcio,emfuno
dadiminuioexcessivanotamanhodostransistores.

Adicionalmente, a maioria dos equipamentos para aplicaes embarcadas e


pervasivas sermovidaa bateria.A capacidadedessas no tem aumentadodemaneira
exponencial, provocando um gargalo na energia que pode ser consumida.
Complementarmenteaisto,aumentosdedesempenhonopoderomaisserobtidospor
aumentosilimitadosdafreqnciadeoperaodosprocessadores,emfunodoimpacto
disto sobre a potncia dissipada, o que j est exigindo a adoo de solues multi
processadas.Usouseprimeiramenteatcnicado HyperThreading e,apartirde2005,a
tecnologiaconhecidapor DualCore.Nofuturoprximoteremos chips comdezenasou
centenas de processadores, e em muitos domnios de computao embarcada esses
processadoresserodediferentestipos(RISC,DSP,VLIW,SIMD,etc.),emfunode
exigncias de eficincia energtica. Alm disso, poderemos ter processadores no
convencionais,baseadosemmodelosdecomputaoqunticaoubiolgica,interagindo
comprocessadoresbaseadosemsilcio.

Quandofalamosem Computao,geralmenteassociamosanoodeprograma
mquinaconcretanaqualessesprogramasexecutam,oscomputadoresbaseadosemchips
desilcio.MasasbasestericasdaCinciadaComputaosoindependentesdemquinas
concretas.Asmquinasquechamamosdecomputadoressoumapossvelimplementao
dealgumamquinacapazdecomputar.Existemvriaspropostasdeoutrasmquinasque
podemexecutaressetrabalho,masatagoraelasnopassaramdepropostasacadmicas.
OsgrandesavanosnareadeBiologiaMoleculardaltimadcadapodemmudaresse

1
GordonMooreconstatouqueacada18mesesacapacidadedeprocessamentodoscomputadoresdobra,
enquantooscustospermanecemconstantes
panorama,dandoCinciadaComputaoumamquinacompletamentediferente:uma
mquina biolgica. Osorganismosvivossosistemasreativos:dependendodeestmulos
(condiesambientaisepresenaouausnciadecertassubstncias),aclulaproduzuma
reao(produzindoasprotenas/enzimasadequadasparatrataroestmulo).ODNAcontido
noncleodenossasclulascontminformaesprecisassobreasseqnciasdebasesque
geramcadaprotena,ecomoequandoessasprotenasdevemserproduzidas.Fazendouma
analogia,poderamosveroDNAcomoosoftware(englobandodadoseprograma),ea
clulacomoohardwarebiolgico.Ummodelotericodessamquinabiolgicapodeservir
debaseparaareaemergentedeBionanotecnologia,provendotcnicasparaestruturare
construirprogramasbiolgicos.Porm,comoasnovastecnologiasbaseadasemsilcio,a
computaobiolgicaadequadaasistemasmaciamenteparalelosesujeitaafalhas.Por
exemplo,embiologia,umsistemacompostodemilharesdeprocessadores(clulas)
executandoamesmatarefa,eareaodosistemagarantidapelofatodequeamaioriados
processadoresagircorretamente.

Nestecenrio,ecomademandapelosnovosprodutos,astcnicasdeprojetode
hardware e software precisaro ser alteradas. O modelo atual, em que o projetista de
softwareutilizaumaabstraodealtonveldohardware,terdesermodificado,poisser
necessrio tirar proveito da computao maciamente paralela, mas sem descuidar do
consumodeenergiaedaconfiabilidade,hojetipicamenteconsideradosapenasnoprojeto
nosbaixosnveisdeabstrao.Istopareceindicaranecessidadedoabandonodoprojetodo
softwaresobreumaabstraodohardware.

Noentanto,nosepodeperderdevistaoportedosoftwarequesequerprojetar,
devidocomplexidadecomputacionalcrescentedosproblemascadavezmaisdemandados
pelasociedade.Istoparecesinalizarnadireoaparentementeoposta,queoprojetode
software em nveis ainda mais altos de abstrao e utilizando doses crescentes de
automao, indispensveis num cenrio de competitividade exacerbada onde o timeto
marketbastanteexguo.Istocriaoproblemadeconciliarduasquestesopostas.Deum
lado,encontramseaautomaoeaabstraorequeridasparalidarcomacomplexidadee
osrequisitosdetimetomarketdoprojetodesoftwaremultiprocessadodegrandeporte.Do
outro,estoprojetoconjuntoeotimizadodosoftwareedohardware,necessrioparaa
obteno de eficincia energtica e de compensao da baixa confiabilidade das novas
tecnologias.

evidentequeessenovocenrioexigeumareadequaocompletadosmodelose
tcnicasdeprojetoemmuitassubreastradicionaisdaComputao.Emespecial,novos
paradigmas devero ser buscados em diferentes linhas de pesquisa. Na Engenharia de
Software,porexemplo,sernecessrioporexemplobuscarabstraesadequadasacapturar
a verticalidade necessria s otimizaes fsicas; definir conceitos mais abrangentes de
desenvolvimento baseado em componentes, que levem em considerao tambm
caractersticasnofuncionais;desenvolvernovastcnicasdetesteeverificaodesoftware
napresenadefalhas.EmSistemasOperacionais,serprecisoconsiderarocontroledo
consumo de energia como tarefa, e alterar servios entre hardware e software para
minimizao energtica. Novos Compiladores devem requerer uso de uma maior
visibilidadederecursosdehardwarenopadronizados.OProcessamentoParaleloexigir
pesquisaemcombinareficinciaenergticacomosrequisitosdealtodesempenho,almde
novas linguagens que explorem o paralelismo de forma eficiente nesse novo contexto.
Nestecenrio,todosistemadecomputaodeverservistocomoumsistemaembarcado,
compotencialinterconexocomosdemaisrecursosnumsistemapervasivo.

Aomesmotempo,acomplexidadedeplataformasparalelasedesistemasaltamente
distribudos estcrescendocadavezmais.Sistemas paralelosfuturosterocentenas de
milharesdeprocessadorestrabalhandoemconjunto.Destaforma,umdesafioassociadoo
desenvolvimentodesoftwarequesejaescalvelnestenvelequeaproveiteaomximoa
arquiteturadisponvelparagarantironveldeconcorrnciaadequado.

Resumidamente,algunsdosgrandesproblemastcnicosecientficosaabordarpara
fazerfrenteaestedesafioso:

Buscar abstraes adequadas na Engenharia de Software que capturem a


verticalidadenecessriasotimizaesfsicas(porexemplo,.emdesempenhoe
consumodeenergia)dossistemascomputacionais,semabrirmodaautomao
crescentedoprocessodedesenvolvimentodesoftware;
Definir conceitos mais abrangentes de desenvolvimento baseado em
componentes, que levem em considerao tambm caractersticas no
funcionais,comodesempenho,consumodeenergiaeconfiabilidade;
Desenvolvernovastcnicasdetesteeverificaodesoftwarenapresenade
falhaspermanentesetransitrias;
Considerar o controle do consumo de energia como funo bsica de todo
sistemaoperacionalemiddleware;
Considerar a alternncia entre implementaes em hardware e software de
servios de sistemas operacionais e middlewares, visando minimizao de
energianumcontextodecargavariveldetrabalho;
Desenvolver novos compiladores que tenham uma maior visibilidade de
recursosdehardwarenopadronizados;
Combinar eficincia energtica com os requisitos de alto desempenho em
sistemasparaleloseheterogneos;
Desenvolvernovaslinguagensqueexploremoparalelismodeformaeficienteno
contextodesistemasmassivamenteparaleloseheterogneos,ondeoconsumo
deenergiaumarestrioimportanteaserconsiderada;
Desenvolversoftwareescalvelnocontextodesistemasparalelosmultinveise
heterogneosequeaproveitemaomximoaarquiteturadisponvelparagarantir
onveldeconcorrnciaadequado;
Integrarosvriosnveisdeparalelismo,desdeoparalelismo onchip (multi
core),oparalelismomultithread,atoparalelismointerns(clusters,grids);
Prover suporte ao desenvolvimento de sistemas escalveis, atravs de
monitoraoedepurao;
Investigar novos modelos de computao, bem como novas arquiteturas e
mquinascapazesdeimplementlos;
Investigar a possibilidade e as perspectivas da utilizao de mecanismos
biolgicosparaaresoluodeproblemas;
Criarlinguagensemtodosparaodesenvolvimentodeprogramasemmquinas
queimplementammodelosnoconvencionaisdecomputao.
5.Acessoparticipativoeuniversaldocidadobrasileiroaoconhecimento.

A Tecnologia da Informao introduziu uma revoluo na comunicao entre


pessoasesuaformadetrabalho.Atravsderedesdecomputadores,todospodemosnos
comunicarecompartilharosmaisdiversosrecursos(hardware,dadosesoftware,etambm
informao visual e sonora), independentemente da localizao ou de presena fsica
simultnea.Essesnovostiposdeinteraosofacilitadospeladisponibilidadedasredesde
comunicaocombandalargaelatnciareduzida,associadaaosdispositivosmveise
computaoubqa.Taldisponibilidade,noentanto,nosinnimodefacilidadedeusoe
acessouniversal.

Existembarreirastecnolgicas,educacionais,culturais,sociaiseeconmicas,que
impedemoacessoeainterao.Oobjetivodestedesafio,portanto,venceressasbarreiras,
por meio da concepo de sistemas, ferramentas, modelos, mtodos, procedimentos e
teorias capazes de enderear, de forma competente, a questo do acesso do cidado
brasileiroaoconhecimento.Esteacessodeveseruniversaleparticipativo,namedidaem
queocidadonoumusuriopassivo,oqualrecebeinformaes,mastambmparticipa
dageraodoconhecimento.

Oproblemaconcerne,portanto,aextensodesistemascomputacionaisaocidado
comum, em sua diversidade, respeitando suas diferenas. Este desafio ganha novas
proporesnocenriodeumapopulaocomadiversidadeeosproblemasdanossa,com
enormesdiferenasscioeconmicas,culturais,regionaisedeacessotecnologiaeao
conhecimento. Alm disso, vivemos um momento de convergncia de mdias (como a
Internet,TV,telefonecelular)cujogargaloser,semdvida,possibilitaroacesso.

OIBGE(InstitutoBrasileirodeGeografiaeEstatstica)contabilizou,em2003,32,1
milhesdeanalfabetosfuncionais,entendidoscomoapopulaocommaisde15anosde
idadeemenosde4anosdeescolaridade(26%dapopulao).Ainda,segundoamesma
fonte,24,5milhesdepessoastmalgumtipodedeficincia(14,5%dapopulao).Setores
dogoverno,universidadeseosetorprivadopodembuscarsoluestecnolgicasdealcance
social que procurem diminuir tais diferenas e resgatarvalores de cidadania em nossa
sociedade.

Paraatacaresteproblema,necessrio,porexemplo,definir"acessoparticipativo"
e "conhecimento" de forma bastante abrangente. No se trata somente de capturar,
organizaredivulgarinformaeseconhecimento,nemtampoucosomentedereduziras
dificuldades de acesso fsico a computadores e redes, seja por limitaes de poder
aquisitivo, seja por barreiras educacionais ou culturais, ou por incapacidade sensrio
motora. Tratase tambm de produzir tecnologia de base computacional que permita e
motiveaparticipaodosusuriosnoprocessodeproduodeconhecimentoedeciso
sobreseuuso.Almdisso,deveseteremcontaaspectosjurdicos,sociaiseantropolgicos
dacidadaniabrasileira,justamenteparareduziroriscodeagravarproblemasdestaordem,
ou at mesmo de criar problemas novos resultantes de sua mera existncia, como a
conhecida"exclusodigital".

Oproblemadifcilporquenico;nohavendoexperinciasnasquaispossamos
nosinspirar.Otratamentodestedesafioexigecompetnciasmultidisciplinares,emquea
pesquisa em Computao possibilita estabelecer sistemas e mtodos que sustentem a
constituiodeumaculturadigitalparaacessodocidadoaoconhecimento,respeitando
suadiversidadeediferenas.Acresaseestadificuldadedeviabilizarumainterlocuo
comoutrasreasdeconhecimento,comoasCinciasHumanaseSociais,cujaprticae
discursocientficosdiferemdosdaCinciadaComputao.Estacooperaodevepermitir
quequalquercidadobrasileiropossaterparticipaoedecisonacadeiadeproduode
conhecimento e cultura do pas. Apenas por meio da oportunidade de participao da
construo do conhecimento que o acesso vai poder levar a uma plena e consciente
utilizaodoconhecimentodisponibilizado.

VriasreasdaComputaoprecisamcontribuirparaasoluodesteproblema.O
acessoaoconhecimento comeacomvencerosdesafiosdasinterfaces,em particulara
interface de sistemas computacionais com o cidado. Outros tpicos de pesquisa
relacionados e em aberto envolvem o projeto e desenvolvimento de ambientes com
mobilidadeeconscinciadecontexto,comhardwaredebaixocustoesoftwareabertose
adaptveis anecessidades locais. A produo deconhecimento passa pela produo de
contedo e mecanismos eficientes de armazenlo e recuperlo, pela criao e
disponibilizaodebibliotecasdigitais.

Anfasenodesigndeinterfacesumacaractersticadestedesafio.Odesignpara
todoseasinterfacesflexveiseajustveissoalvodepesquisadepontanaprpriareade
IHC (Interao HumanoComputador), que aumentam medida que se considera os
variados contextos scioeconmicos e a diversidade cultural do Brasil. Psicologia,
lingustica, antropologia,sociologiae geografiaso algumas das reas necessrias para
vencerosobstculosexistentesnapesquisaeminterfaces.
Exemplos concretos de aplicao/domnio alvo que seriam beneficiados com a
pesquisanestedesafioincluem,dentreoutros,sistemasdegovernoeletrnico,sistemaspara
aprendizagem continuada, comunidades de prtica relacionadas ao trabalho, apoio a
comunidadesemrede(networkedcommunities)emreascarentes.Governoeletrnico
entendidoaquinoapenascomoadisponibilizaodeserviosviaInternet,mastambma
possibilidadedeparticipaodocidadonageraodeconhecimentoasercompartilhado,
nadiscussodeassuntosquelheafetemdiretamente.

Osbenefciosdapesquisanestareaatingemacoletividade,quepodereduzira
distncia que temos hoje do maior bem da sociedade contempornea: a informao, o
conhecimento. Ganha, tambm, a comunidade de Computao no Brasil, com novos
instrumentos, artefatos e mtodos para desenvolvimento de sistemas e suas interfaces.
Ganhamasdemaisdisciplinasenvolvidasnessedesafio,comumacompreensomaiordo
problemaedoslimitesdesoluo.Ainda,processosdesocializaodoconhecimentocom
ocompartilhamentoecooperaodosenvolvidosnageraodeconhecimentoeaformao
deagentessotambmbenefciospotenciaisdeaesnestedesafio

Almdapesquisaeminterfacesflexveiseadaptveis,algunsoutrosgrandesproblemasde
pesquisaemComputaoaabordardentrodestedesafioso:

Projetoedesenvolvimentoapropriadodenovasinfraestruturasdehardwareede
comunicao;

Criao de sistemas de backoffice infraestrutura interna necessria para


proverserviosaoscidados,quepodeincluirprocessosdelongadurao,que
envolvamvriasentidadesequestesdeinteroperabilidade;

Disponibilizao deumainfraestruturanecessriaparaainterao diretado


cidadoesuacomunicaocomoprocessoaserrealizadonobackoffice;

Desenvolvimento de mecanismos geis para busca de dados e para


armazenamentodocontedosendogeradocontinuamentepelocidado;

Projetoeimplementaodeestruturasdeontologiaflexveiseexpansveis,que
possibilitem interoperabilidadeentrereasdoconhecimentoeinteraoentre
pessoasdediferentesculturasevocabulrios;

Criaodeplataformasdeaplicativosdeelearningquepermitamaintegrao
eficientedeferramentasdecomunicaoparapoderemserusadasemconjunto
comafinalidadedepermitiremaprticadoaprendizadoeletrnico;e

Definiodeformasdegarantiraadministraoadequadadosdireitosautorais,
emparticular,edapropriedadeintelectual,emgeral,demodoapermitiruma
ampla variedade de experimentos nas reas de produo, administrao e
utilizaodoconhecimento.
6.DesenvolvimentoTecnolgicodeQualidade:sistemasdisponveis,corretos,
seguros,escalveis,persistenteseubquos.

ATecnologiadaInformaoestcadavezmaispresenteemnossoquotidiano.No
precisoirmuitolongeparabuscarexemplos.Vrioseletrodomsticoseelevadores,por
exemplo,tmcontroleviasoftware;carros,tratores,avies,celulares,sistemasdecontrole
detrfegoesalasdecirurgiatambmdependemdestatecnologia.Enquantoalgunsdesses
exemploscorrespondemasistemasrelativamentesimplesumfornodemicroondas,
outroscustammuitocaroeenvolvemmilhesdelinhasdecdigoehardwaresofisticado.
Seestaubiqidadetrazconforto,tambmacarretaproblemas.Comodependemosdesses
sistemas, eles precisam estar sempre disponveis e no apresentarem falhas; devem
funcionardaformaprevistaeserescalveiseseguros.Estedesafiovisa,destaforma,a
pesquisaemambientes,mtodos,tcnicas,modelos,dispositivosepadresdearquiteturae
de projeto capazes de auxiliaros projetistas e desenvolvedores de grandes sistemas de
softwareehardwareaatingiremessesobjetivos.

As vrias propriedades abrangidas por este desafio foram agrupadas, durante o


seminrio, em um novo termo computao onivalente cunhado para designar a
ubiqidadeassociadasegurana,fidedignidadeeevoluodesistemascomputacionais,
emespecialsoftware.Cadaumadessaspropriedadesapresentadesafiosdepesquisa;sua
combinao,portanto,umgrandedesafio.

O conceito de ubiqidade, impulsionado pelas redes de computadores e pela


Internet,adquiriumaiorforacomaevoluonaconstruodesensoresdetemperatura,
presso,deanlisedaatmosfera,desons,deondaseletromagnticaseoutros.Tato,olhos,
narizes,ouvidosepapilasgustativasartificiaisestosendodesenvolvidosparainmeras
aplicaes.Dispositivossensoressogeralmenteconsideradoscomoumanovaclassede
sistemas decomputadores,diferenciadosdohardwaredopassadopor suaubiqidade e
capacidadeanalticacoletiva. Sensorespodemvariardetamanhoecusto,indodesdeos
embarcadosemsatlitesatmicrosensoresusados,porexemplo,paraidentificarpeasde
roupaemgrandeslojas(osRFID).Dispositivosefetuadoressoentidadescomplementares
queapartirdaobservaodefatosporumsensor,atuamnoambientecomalgumobjetivo
especfico. A combinao de sensores, software e efetuadores, e o aprimoramento de
infinitascombinaesdestestendearevolucionarodiaadiadenossasociedade.Estimase
que dentro de uma dcada sensoriamento e computao distribuda iro invadir casas,
escritrios,fbricas,carros,ruas,efazendas.

Dopontodevistadeaplicao,asredesdesensoressemfiopodemserutilizadas
em diversos cenrios incluindo monitoramento ambiental, agricultura, pecuria,
rastreamentodeeventos,coordenaodeaes,mineraoeprocessamentodeinformao.
Emumexemplonacional,aregulagemautomticadoscarrosFlexutilizaofeedbackdeum
sensornoescapamento,quedeterminaacomposiodamisturadegasesproduzidos.A
proliferao de tipos e usos desses dispositivos exige cada vez mais ateno ao
desenvolvimentodesistemasparasuacoordenaoefuncionamentoconfiveis.Defato,
uma vez instalados, sensores deveriam sempre estar disponveis, sua rede deveria ser
escalvel(funcionandodeformaadequadaindependentementedocrescimento)esegura
(impedindoataquesmaliciosos).Finalmente,deveriamfuncionarcorretamente,ouseja,de
acordocomsuaespecificao.Agarantiadessascaractersticasaindafazpartedofuturo.

Enquantosensoresservemparaexemplificarasquestesquemotivamestedesafio
noquetangeaosdispositivoseosoftwareassociado,sistemasdesoftwaresotambm
ubquos e apresentam os mesmos problemas, embora j existam h dezenas de anos.
Disponibilidade, corretude, segurana, escalabilidade e persistncia de software um
problematantoparaaplicaescrticas(comoasquecontrolamavies,centraisnucleares
ouestaesorbitais)quantoparaasnocrticas(comosistemasdepagamentodepessoal
oucontroledeestoque,emqueestesproblemas,emboracaros,podemsereventualmente
reparados). A necessidade de software que obedea a todas essas propriedades est
revolucionandoaEngenhariadeSoftwareedisciplinasassociadas.

Aconstruoemanutenodesoftwarerobustoexigemprofissionaisqualificadose
compromissos de longo prazo, que permitam manter, expandir e gerenciar o software.
Praticarengenhariadesoftwarefidedignobemmaisamplodoqueincorporartolernciaa
falhas e assegurar corretude, entre outras propriedades. O entendimento da noo de
fidedignidadedependedoservioqueosoftwarepresta.Emalgunsservios,porexemplo,
comandoecontrole,uma falhapodeterconseqnciascatastrficas.Jem outros,por
exemplobuscadeinformaonaWeb,umabuscaincorreta(falsospositivosouausnciade
respostas relevantes) tolervel desde que isto ocorra com uma freqncia baixa.
Entretanto, no tolervel o sistema cancelar a execuo, invadir privacidade, ou
representarumriscoseguranadequemousa.

Emvirtudedacrescenteparticipaodesoftwarenasociedade,tornasecadavez
mais necessrio assegurar que seja fidedigno. Artigos recentes enfatizam que software
continuasofrendodefaltadequalidade.sabidoquecercade50%dosoftwaretornado
disponvelcontmfalhasnotriviais.Aevoluodosoftwaremuitasvezesconsiderada
umapropriedadeintrnseca,ouseja,virtualmentetodoosoftwareemusotendeaevoluir,
sendoqueistoconstituiumaparcelamuitosignificativadoseucustototal(TotalCostof
Ownership).Precisaseentodacapacidadededesenvolversoftwarequepossaevoluirsem
comprometerasuaqualidade.Finalmente,sabidoque,independentementedorigorcom
quesejadesenvolvido,todosoftwareconterfalhas.Conseqentemente,aocorrnciade
falhasdeuso,dehardwareoudoprpriosoftwareumfatocomqueseprecisaconviver
semque,noentanto,estasfalhaslevemaumnveldedanosinaceitvel.

HmuitooBrasil,similaridadecomandiaeaIrlanda,aspiraterumapujante
indstriadesoftwareedeserviosdedesenvolvimentoparaexportao.Apesardevrios
esforosnestesentidoosresultadosaindasomuitopequenos.Amelhoriadaqualidadedo
nosso softwarecertamentecontribuirparasuamaior aceitaotantonoexteriorcomo
localmente.Defato,esteocaminhoparagarantiroprpriomercadointerno.
Este problema na produo de software difcil, mesmo quando se considera
softwarecomarquiteturasconvencionais.Atendnciaistoseagravarjquecadavezmais
software desenvolvido de forma geograficamente distribuda (vrias equipes
desenvolvendoummesmosoftware)eoperamdeformadistribuda(vriasCPUscontendo
partes heterogneas do softwareoperando sobreuma nica aplicao, por exemplo em
sistemasgrid).Outrarazoparaqueoproblemasetorneumdesafiocrescenteofatodeos
sistemas de software tornaremse cada vez mais complexos (volume e abrangncia da
funcionalidadeerequisitosdequalidademaisrestritivos),precisaremestardisponveispor
maistempo(sistemas24h/7diasporsemana)eseremutilizadosporpessoassemgarantia
detreinamento.

H inmeros benefcios advindos da pesquisa neste desafio. Vrios deles so


decorrentesdasvantagensresultantesdodesenvolvimentodesistemasconfiveiseseguros,
contribuindoparaamelhoriadaqualidadeeareduodoscustosdedesenvolvimentoeuso
desoftwareesistemascomputacionaisemgeral.Omau funcionamentodeumsistema
computacionalpodetersriasconseqncias.Porexemplo,falhasemsistemasdecontrole
deprocessosdealtoriscopodemlevaraperdadevidas,desastresecolgicos,quebrade
empreendimentos.Emsistemasdecomrcioeletrnico,falhaspodemlevaraprejuzosna
casadosmilhesdereais.Emsistemasdegovernoeletrnico,podemcontribuiraindamais
paraaexclusosocialdapopulao.

Falhasnaseguranadedados,softwareousistemasacarretamtambmprejuzos
financeirosesociais,comoaquelescausadosporataquesaredesevrusemtodoomundo.
Aviolaodaprivacidadedecorrentedestetipodefalhaoutraconseqnciagraveparao
cidado,comcustosincalculveis.

Emfunodessasobservaes,algunsdostpicosdepesquisaassociadosaestedesafio
so:
Desenvolvimento e avaliao de modelos e ferramentas de modelagem de
sistemasdesoftwarecombasetericaslida;

Desenvolvimentoeadaptaodetecnologiaseinstrumentosemgeraldeapoio
implementaoeavaliaodesoftwarefidedignoporconstruo;

Desenvolvimento de ferramentas de apoio ao processo de implementao e


evoluodesoftware;

Especificaoeanlisedenovastcnicasealgoritmosdeseguranadedadose
sistemas,incluindotcnicascriptogrficaseprotocolossegurosdecomunicao;
e

Construo de mecanismos e ferramentas visando a tolerncia a falhas e


disponibilidadepermanente.
7.Algumasaespropostas
OsparticipantesdoSeminriopropuseramalgumasaesassociadasaosDesafios
especificadosaodesenvolvimentodapesquisaemComputaonoBrasil.Ressalteseque
vriasoutrasaespodemserderivadasdosdesafiospropostos.

Aspropostasprincipaisenvolveramosseguintesquesitos:

MultidisciplinariedadeaevoluodapesquisaedesenvolvimentonosculoXXIaponta
para equipes multidisciplinares como sendo uma das formas mais comuns de obter
resultados cientficos. Desta forma, recomendase duas aes: (a) sensibilizar os
pesquisadoresem Computao para os problemas inerentes pesquisa multidisciplinar,
comoestabelecimentodevocabulriocomumeentendimentodediferenasmetodolgicas
napesquisaemcadacampo;e(b)desenvolvermodelosdeensinoepesquisajointventure
entrereas,quevisemaformaodeprofissionaisecientistasquepossamtrabalharneste
novo mundo, com nfase em multi e interdisciplinariedade. Exemplos de aplicaes
multidisciplinaresquepoderiamserusadasnestetipodeformaoseriammeioambiente,
sade pblica, violncia urbana, agropecuria, elearning, entretenimento digital,
telemedicina,histria,dentreoutros.

TalmultidisciplinariedadedeveocorrernoapenasentreaComputaoeoutros
domnioscientficos,mastambmdentrodaComputao. Porexemplo,especialistasem
hardwareprecisamcooperarcomespecialistasemredes,embancosdedados,eminterao
humanocomputador. Todos, por sua vez, devem ter uma interlocuo continuada com
pesquisadoresemengenhariadesoftwareelanarmodosconhecimentosdepesquisadores
emcomputaogrfica,visualizaocientfica,intelignciaartificialetantasoutrasreas
associadaspesquisanecessriasoluodosdesafios.

Integraocomaindstria apesquisadeboaqualidadereverteembenefciossociaise
econmicos.Nestesentido,aprincipalaoconsideradafoiaproximaocomaindstria
paraefeitosdodesenvolvimentotecnolgicodequalidadeeaindicaodenovasreascom
opotencialdesetransformarememmercadosemergentes.

Fuga de crebros vrios pesquisadores brasileiros esto sendo atrados por melhores
condiesdetrabalhonoexterior.Elespodemserusadoscomocontatoparaaumentara
cooperaoempesquisadoBrasilcomorestodomundoporexemplo,auxiliando a
promoo de congressos internacionais no Brasil, facilitando a vinda de professores
visitantesestrangeiros,dentreoutraspossibilidades.

Estabelecimentodeumcentroparadiscussodepesquisaospresentesconstataramque
eventosdebrainstorming,comooorganizado,somuitoraros.Amaioriadoscongressos
e seminrios em todo mundo segue um padro bsico de apresentao de artigos e
discussesemtornodetemasespecficos.Aaopropostaacriaodeumcentropara
encontros cientficos semelhana de Dagstuhl ou Oberwolfach na Alemanha. Estes
centrosforamcriadosparaofereceracientistasdacomputaocondiesdedesenvolver
pesquisadeponta.UmadasatividadesmaisconhecidasdeDagstuhl,porexemplo,soas
confernciasdeatumasemana,emComputao,comnomximo40participantes,para
discutiredesenvolvercinciadepontaemnvelinternacional.Cadaconfernciaproposta
comat3anosdeantecednciaaumcomitcientficoeosparticipantespagamapenasos
custos de transporte para o local. As acomodaes em Oberwolfach servem propsito
semelhante nas reas de Matemtica e Teoria da Computao. (ver por exemplo
www.dagstuhl.de)..
8.Concluses

ASBCesperaqueesteeventosejaoprimeirodeumasriedeencontrosdeGrandes
DesafiosemComputaonoBrasil,visandoaoplanejamentoalongoprazodapesquisaem
ComputaonoPas.

ComomencionadonaIntroduo,aidiadeformulargrandesdesafiosempesquisa
tem sido adotada por vrios pases, em diversas reas do conhecimento. Constatouse,
nessespases,queaformulaodetaisdesafiostemlevadoaoestabelecimentodeuma
agendadepesquisadelongoprazo,comconseqnciaspositivasnoapenasdopontode
vistadeavanosdoconhecimento,mastambmparaaformaodenovasgeraesde
pesquisadores.Destaforma,estapropostadaSBCpodertrazercontribuiessignificativas
para a rea de Computao e servir, igualmente, para dar subsdios formulao das
polticasdeagnciasfomentopesquisanoBrasil

Os desafios propostos exigem cooperao dentro da Computao e com vrias


outrasreasdoconhecimento.Cadaumdelesenglobaumgrandeconjuntodetpicosde
pesquisadepontaeestcentradoemalgumaspectoimportantedaInformtica.Vriasreas
depesquisaemComputaoaparecemnadescriodetodos essesdesafiosredesde
computadores, gerenciamento de dados, desenvolvimento de software, projeto de
algoritmoseestruturasdedados,designdeinterfacesenovosdispositivosearquiteturasde
computadoressoalgumasdasquestesaseremabordadascommaioroumenornfaseem
todosositens.

Finalmente, a Computao permeia hoje todas as atividades cientficas. A SBC


espera,assim,queestainiciativacontribuatambmparaoavanodacinciabrasileiraem
todas as frentes, influenciando vrias outras reas de pesquisa no Pas. Relatrios
produzidos em todo o mundo apontam para o papel fundamental que a Computao
desempenhanoprogressocientfico,tecnolgico,econmicoesocial deumanao. A
buscapelaexcelnciacientficaemComputao,comnfasenaviso em longoprazo,
deverdestaformaterimpactosocialeeconmicoduradouro.

RefernciasBibliogrficas

[1] Computational Science:EnsuringAmericasCompetitiveness. PITACReport tothe


President, EUA, Junho de 2005, Disponvel em
http://www.nitrd.gov/pitac/reports/20050609_computational/computational.pdf

[2].G.Cmara.GrandesDesafiosdaComputao:Aconstruodeumaterceiracultura.
ApresentaonoSeminrioGrandesDesafios,maiode2006
Programadoevento

Dia1:
8:3012:30Apresentaodostrabalhosselecionados,comumaduraodeat8
minutosporproposta.
14:0016:00MesaRedondaRenatoJanineRibeiroeGilbertoCamaraA
importnciadoplanejamentoestratgicodelongoprazo,dapesquisaemComputao
noBrasil
16:3019:30Organizaode5gruposdetrabalho,paradiscussoeconsolidaode
propostasdegrandesdesafios,comsuascaractersticaseoportunidades.OsGrandes
Desafios no necessariamente sero derivados dos trabalhos, mas sim da viso
consensualdecadagruposobreosproblemasdefuturosdapesquisa.
Apresentaodosresultadosdecadagrupoemcartazes.

Dia2:
8:3012:30Apresentaodosgrupos:sumrioeconsolidaodosgrandesdesafios
propostosnodiaanterior
14:0015:00Consolidaofinaldosdesafiosemdiscusso,apresentandonovasvises
ejustificativas.
15:0017:00ApresentaofinaldapropostadeGrandesDesafiosemComputao
paraoBrasil20062016paraconvidadosexternos.