Behavioral Types for Embedded Software - A Survey

At present, there is a variety of formalisms for modeling and analyzing the communication behavior of components. Due to a tremendous increase in size and complexity of embedded systems accompanied by shorter time to market cycles and cost reduction, so called behavioral type systems become more and more important. This chapter presents an overview and a taxonomy of behavioral types. The intentions of this taxonomy are to provide a guidance for software engineers and to form the basis for future research.

Specification and Evaluation of Safety Properties in a Component-Based Software Engineering Process

Over the past years, component-based software engineering has become an established paradigm in the area of complex software intensive systems. However, many techniques for analyzing these systems for critical properties currently do not make use of the component orientation. In particular, safety analysis of component-based systems is an open field of research. In this chapter we investigate the problems arising and define a set of requirements that apply when adapting the analysis of safety properties to a component-based software engineering process. Based on these requirements some important component-oriented safety evaluation approaches are examined and compared.

Effect of image analysis software on neurofunctional activation during processing of emotional human faces

Functional brain imaging techniques such as functional MRI (fMRI) that allow the in vivo investigation of the human brain have been exponentially employed to address the neurophysiological substrates of emotional processing. Despite the growing number of fMRI studies in the field, when taken separately these individual imaging studies demonstrate contrasting findings and variable pictures, and are unable to definitively characterize the neural networks underlying each specific emotional condition. Different imaging packages, as well as the statistical approaches for image processing and analysis, probably have a detrimental role by increasing the heterogeneity of findings. In particular, it is unclear to what extent the observed neurofunctional response of the brain cortex during emotional processing depends on the fMRI package used in the analysis. In this pilot study, we performed a double analysis of an fMRI dataset using emotional faces. The Statistical Parametric Mapping (SPM) version 2.6 (Wellcome Department of Cognitive Neurology, London, UK) and the XBAM 3.4 (Brain Imaging Analysis Unit, Institute of Psychiatry, Kings College London, UK) programs, which use parametric and non-parametric analysis, respectively, were used to assess our results. Both packages revealed that processing of emotional faces was associated with an increased activation in the brain`s visual areas (occipital, fusiform and lingual gyri), in the cerebellum, in the parietal cortex, in the cingulate cortex (anterior and posterior cingulate), and in the dorsolateral and ventrolateral prefrontal cortex. However, blood oxygenation level-dependent (BOLD) response in the temporal regions, insula and putamen was evident in the XBAM analysis but not in the SPM analysis. Overall, SPM and XBAM analyses revealed comparable whole-group brain responses. Further Studies are needed to explore the between-group compatibility of the different imaging packages in other cognitive and emotional processing domains. (C) 2009 Elsevier Ltd. All rights reserved.

Dorsal cutaneous branch of the ulnar nerve: a light and electron microscopy histometric study

This study describes the normal morphology and morphometry of the dorsal cutaneous branch of the ulnar nerve (DCBU) in humans. Fourteen nerves of eight donors were prepared by conventional techniques for paraffin and epoxy resin embedding. Semiautomatic morphometric analysis was performed by means of specific computer software. Histograms of the myelinated and unmyelinated fiber population and the G-ratio distribution of fibers were plotted. Myelinated fiber density per nerve varied from 5,910 to 10,166 fibers/mm(2), with an average of 8,170 +/- 393 fibers/mm(2). The distribution was bimodal with peaks at 4.0 and 9.5 mu m. Unmyelinated fiber density per nerve varied from 50,985 to 127,108, with an average of 78,474 +/- 6, 610 fibers/mm(2), with a unimodal distribution displaying a peak at 0.8 mu m. This study thus adds information about the fascicles and myelinated and unmyelinated fibers of DCBU nerves in normal people, which may be useful in further studies concerning ulnar nerve neuropathies, mainly leprosy neuropathy.

Analysis of placenta vascularization in patients with uterine altered artery Doppler flow velocity exams

Background: One of the frequent questions in obstetric practice is to determine placental vascular changes that may account for abnormal Doppler flow velocity alterations in maternal uterine vessels from women and fetuses without pregnancy pathology. Methods: A retrospective morphometric study was realized using 27 placentas from patients submitted for Doppler flow velocity exam during pregnancy. The placentas were morphologically examined using hematoxylin-eosin staining. Measurements of villi were made with the use of a video camera coupled to a common light microscope and a computer with automatic image analyzing software. Results: Of the 27 placentas, 13 (48%) were of patients showing unaltered Doppler and 14 (52%) showing altered Doppler. The number of stem villi vessels was significantly larger in the placentas of patients with Doppler exam alterations (P = 0.003). This group also presented greater stem villi vessel thickness, although without significant difference. The number of intermediary and terminal villi vessels was greater in the placentas of patients with altered Doppler exams (P < 0.001), and a greater terminal villi area was observed in these cases (P < 0.001). Conclusion: The morphological proof that uterine artery Doppler flow velocity exam alterations are associated with placental vascular alterations demonstrates the importance of this exam during prenatal care, even in the absence of maternal-fetal alterations.

Pharmacokinetic software for the health sciences - Choosing the right package for teaching purposes

Computer assisted learning has an important role in the teaching of pharmacokinetics to health sciences students because it transfers the emphasis from the purely mathematical domain to an 'experiential' domain in which graphical and symbolic representations of actions and their consequences form the major focus for learning. Basic pharmacokinetic concepts can be taught by experimenting with the interplay between dose and dosage interval with drug absorption (e.g. absorption rate, bioavailability), drug distribution (e.g. volume of distribution, protein binding) and drug elimination (e.g. clearance) on drug concentrations using library ('canned') pharmacokinetic models. Such 'what if' approaches are found in calculator-simulators such as PharmaCalc, Practical Pharmacokinetics and PK Solutions. Others such as SAAM II, ModelMaker, and Stella represent the 'systems dynamics' genre, which requires the user to conceptualise a problem and formulate the model on-screen using symbols, icons, and directional arrows. The choice of software should be determined by the aims of the subject/course, the experience and background of the students in pharmacokinetics, and institutional factors including price and networking capabilities of the package(s). Enhanced learning may result if the computer teaching of pharmacokinetics is supported by tutorials, especially where the techniques are applied to solving problems in which the link with healthcare practices is clearly established.

Reliability factors in business software: volatility, requirements and end-users

Many business-oriented software applications are subject to frequent changes in requirements. This paper shows that, ceteris paribus, increases in the volatility of system requirements decrease the reliability of software. Further, systems that exhibit high volatility during the development phase are likely to have lower reliability during their operational phase. In addition to the typically higher volatility of requirements, end-users who specify the requirements of business-oriented systems are usually less technically oriented than people who specify the requirements of compilers, radar tracking systems or medical equipment. Hence, the characteristics of software reliability problems for business-oriented systems are likely to differ significantly from those of more technically oriented systems.

Infusing the use of seasonal climate forecasting into crop management practice in North East Australia using discussion support software

Seasonal climate forecasting offers potential for improving management of crop production risks in the cropping systems of NE Australia. But how is this capability best connected to management practice? Over the past decade, we have pursued participative systems approaches involving simulation-aided discussion with advisers and decision-makers. This has led to the development of discussion support software as a key vehicle for facilitating infusion of forecasting capability into practice. In this paper, we set out the basis of our approach, its implementation and preliminary evaluation. We outline the development of the discussion support software Whopper Cropper, which was designed for, and in close consultation with, public and private advisers. Whopper Cropper consists of a database of simulation output and a graphical user interface to generate analyses of risks associated with crop management options. The charts produced provide conversation pieces for advisers to use with their farmer clients in relation to the significant decisions they face. An example application, detail of the software development process and an initial survey of user needs are presented. We suggest that discussion support software is about moving beyond traditional notions of supply-driven decision support systems. Discussion support software is largely demand-driven and can compliment participatory action research programs by providing cost-effective general delivery of simulation-aided discussions about relevant management actions. The critical role of farm management advisers and dialogue among key players is highlighted. We argue that the discussion support concept, as exemplified by the software tool Whopper Cropper and the group processes surrounding it, provides an effective means to infuse innovations, like seasonal climate forecasting, into farming practice. Crown Copyright (C) 2002 Published by Elsevier Science Ltd. All rights reserved.

Modelo de gest??o do ambiente de TI aplicado ao IBGE

A arquitetura de inform??tica do IBGE busca refletir a evolu????o das Tecnologias da Informa????o e de Comunica????o (TIC) e vem sendo modificada ao longo dos anos, de maneira a manter - se um equil??brio entre os anseios e diretrizes institucionais e governamentais. A partir do aprendizado e do sucesso obtidos no Censo Demogr??fico 2010, o IBGE inova agora na forma de administrar sua ??rea de TIC, baseado em software especialista adquirido.O IBGE se beneficia da administra????o dos bens de inform??tica, da responsabilidade sobre contratos, da gest??o do patrim??nio, do uso otimizado dos softwares comerciais, da agilidade de obten????o de informa????es sobre o parque computacional instalado, do monitoramento on-line dos servi??os oferecidos pela TI, da economia de gastos com viagens para suporte t??cnico dentro dos estados e entre os mesmos, da reeduca????o de funcion??rios quanto ao uso de tecnologias, da forma organizada e planejada de trabalho e, portanto, da gest??o p??blica das TIC

Portal do software p??blico brasileiro

O Portal do Software P??blico Brasileiro consolida-se como uma iniciativa que conseguiu criar um ambiente comum para compartilhar solu????es de software no setor p??blico, racionalizar a gest??o dos recursos de inform??tica, reaproveitar as solu????es de software existentes para diminuir custos e atividades redundantes, estabelecer parcerias e a????es cooperadas, refor??ar a pol??tica p??blica de estimular o uso de software livre e definir uma forma de licenciamento de software que sustente o compartilhamento de solu????es entre os ??rg??os do setor p??blico de acordo com as prerrogativas legais brasileiras e a Constitui????o Federal. Esta iniciativa trouxe como inova????o o compartilhamento de ???software p??blico???, que oficializou um novo modelo de licenciamento e de gest??o das solu????es desenvolvidas na administra????o p??blica, estabelecendo parceria entre diversos ??rg??os, institui????es, empresas e cidad??os, e hoje conta com mais de 100 mil participantes

??ndice de desenvolvimento da educa????o b??sica (Ideb)

O ??ndice de Desenvolvimento da Educa????o B??sica (Ideb) ?? um indicador que combina informa????es de fluxo e de desempenho dos alunos, criado para promover um sistema de accountability visando a melhoria da qualidade da educa????o no pa??s. Ao elaborar metas detalhadas para cada rede e escola ??? com as quais governadores e prefeitos se comprometeram por meio do Compromisso Todos Pela Educa????o ??? ao calcular e divulgar amplamente os resultados do Ideb, o Instituto Nacional de Estudos e Pesquisas Educacionais An??sio Teixeira (Inep) possibilitou que os atores educacionais pudessem ser responsabilizados pelos resultados de sua unidade e que o Minist??rio da Educa????o (MEC) identificasse e premiasse as escolas que atingem as metas, mas tamb??m oferecesse assist??ncia t??cnica e financeira para as redes com piores resultados. Entre os principais resultados j?? alcan??ados, pode-se destacar que o Ideb do pa??s para os anos iniciais do ensino fundamental cresceu de 3,8, em 2005, para 4,2, em 2007

Programa de apoio ao desenvolvimento de novas empresas de base tecnol??gica agropecu??ria e ?? transfer??ncia de tecnologia (Proeta)

Em dezembro de 2001, o Proeta foi criado pela Empresa Brasileira de Pesquisa Agropecu??ria (Embrapa) com apoio financeiro do Fundo Multilateral de Investimentos do Banco Interamericano de Desenvolvimento (Fumin/BID), por meio de um acordo de coopera????o t??cnica n??o-reembols??vel. O programa tem o objetivo de contribuir para a transfer??ncia de tecnologias e conhecimentos gerados pela Embrapa para empreendimentos de base tecnol??gica, mediante a utiliza????o do processo de incuba????o de empresas. Para concretizar a iniciativa, foram estabelecidas experi??ncias-piloto em cinco unidades de pesquisa da Embrapa, estrategicamente situadas nas regi??es Nordeste, Centro-Oeste e Sudeste. Entre os resultados e avan??os obtidos merecem destaque 21 tecnologias disponibilizadas, 14 conv??nios firmados com incubadoras, 16 propostas de neg??cios apresentadas, 14 empresas pr??-selecionadas e incubadas, e uma empresa graduada. A consolida????o das alian??as e parcerias no processo de incuba????o resultou em um sistema de inova????o que auxilia o desenvolvimento sustent??vel da cadeia produtiva do agroneg??cio, gerando benef??cios para a sociedade em geral

Sistema Integrado de Planejamento, Or??amento e Finan??as do Minist??rio da Educa????o (Simec)

O desenvolvimento do Simec (Sistema Integrado de Planejamento, Or??amento e Finan??as do Minist??rio da Educa????o) permitiu melhoria significativa da efici??ncia, efic??cia e efetividade das iniciativas do MEC por meio de sua metodologia, marco institucional e plataforma tecnol??gica, com a integra????o dos processos de planejamento e gest??o das pol??ticas e programas educacionais do governo federal. Desenvolvido em software livre, mediante parceria com diversos ??rg??os de governo, utilizando modernas t??cnicas de mapeamento de processos e ampla participa????o das equipes de trabalho de diferentes secretarias e ??rg??os do MEC, o Simec implicou profundas mudan??as culturais e organizacionais das pr??ticas de governan??a do Minist??rio, bem como de sua forma de relacionamento com parceiros governamentais (estados, munic??pios e outros ??rg??os do governo federal) e da sociedade brasileira. Hoje, 12 ??rg??os, entre minist??rios e governos estaduais, celebraram ou negociam esta formaliza????o de termos de cess??o do sistema com o MEC