Towards an Embedded Software Component Quality Verification Framework

Carvalho, Fernando; Meira, Sílvio Romero de Lemos

doi:10.1109/iceccs.2009.26

Cited by 12 publications

(5 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…CBSS approaches prove that software component descriptions can be used for measuring semantic properties [5,6,7]. However, unlike business systems, a direct application of such component-based development approaches on software components in real-time systems is yet not possible [10] as deriving abstract system configuration boundaries using UML design tools, in order to define end-to-end timing constraints, is a complicated task [20,25,36,37]. Hence, the development of robust measurement techniques becomes inevitable for obtaining a precise estimation of constraint complexity at the specification level and thereby quantifying the dynamic nature of automotive software components [29,30,38], and requires the employment of sophisticated methods and heuristics.…”

Section: An Overview Of the Methodsmentioning

confidence: 99%

“…From a component-based development perspective, the issue of software complexity measurement of software components has already been addressed in terms of their interface structure, interaction and constraints associated with usage [5,6,7,16,23,30,49]. Approaches dealing with constraint complexity [5,6,7] are however very scarce, and typically only cover the structural aspects by means of static inspection of the software artifacts [36,37], rarely taking temporal constraints into account which restrict the expected behavior of real-time systems at run-time [10,20]. This paper presents a method for measuring the structural as well as the timing constraint complexity of automotive embedded software systems at the specification level.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Measuring the constraint complexity of automotive embedded software systems

Garg

Lai

2014

2014 International Conference on Data and Software Engineering (ICODSE)

View full text Add to dashboard Cite

The rapid growth of software-based functionalities has made automotive Electronic Control Units (ECUs) significantly complex. Factors affecting software complexity of components embedded in an ECU depend not only on the interface and interaction properties, but also on the added constraints associated with their usage and stringent timing requirements. Traditional constraint complexity measures are not adequate for embedded real-time systems as they do not yet sufficiently provide a measure of the timing constraints described by AUTOSAR languages. This paper presents a method for measuring the structural and timing constraint complexity of automotive embedded software systems at the specification level.

show abstract

Section: An Overview Of the Methodsmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Measuring the constraint complexity of automotive embedded software systems

Garg

Lai

2014

2014 International Conference on Data and Software Engineering (ICODSE)

View full text Add to dashboard Cite

show abstract

“…(AHRENS et al, 2011) established a specialized QM to conduct the evaluation of software architectures in the context of driver assistant systems. (CARVALHO; MEIRA, 2009) proposed a framework, which includes a QM, to support the verification of embedded software components. (JEONG; KIM, 2011) established a QM of lightweight components for embedded components.…”

Section: Motivationmentioning

confidence: 99%

“…Finally, to evaluate their approach, a complex and real practical example from a different domain had it software architecture fully refactored using the established metrics in their QM. Carvalho and Meira (2009) proposed a framework, which includes a QM to support the verification of embedded software components. The framework is also composed of a metrics framework, a certification techniques framework, and a certification process.…”

Section: Quality In the Context Of Critical Embedded Systemsmentioning

confidence: 99%

A quality model for critical embedded systems

Oliveira¹

View full text Add to dashboard Cite

Dedico este trabalho em memória de meu pai, Braulino Mendonça de Oliveira, e minha irmã, Flávia Roberto do Nascimento Oliveira, que com tão pouco tempo vivendo ao meu lado, me fazem amá-los eternamente em minha jornada. ACKNOWLEDGEMENTSAs pessoas são as coisas mais importantes deste mundo. Não importa se fazem o bem ou o mau. Cabe a nós, antes de mais nada, compreendê-las e compartilhar de nossas vidas com elas. Só assim é possível sonhar com um mundo repleto de amor e coisas boas. É deste modo que começo esta seção tão importante de meu trabalho, pois eternamente agradecido sou por cada uma das pessoas que estiveram e estarão presentes durante minha trajetória.O maior dos amores não pode ser escrito nem dito. Trata-se de um sentimento recíproco, verdadeiro e infinito que nos motiva em todos os momentos, sejam eles bons ou ruins. Não importa a distância e nem mesmo o tempo. Por esse amor, serei eternamente grato à minha mãe, Osania Roberto do Nascimento Oliveira, que me fez chegar até aqui.Agradeço imensamente a Prof. Elisa Yumi Nakagawa por me orientar na condução deste trabalho. Sua dedicação e envolvimento foram fundamentais para meu desenvolvimento pessoal e profissional.À Lina Maria Garcés-Rodriguez, minha eterna gratidão pelo apoio e incentivo ao longo dos últimos três anos.À minha família, pelo respeito, consideração e confiança depositados em mim. À Profa. Silvia Maria do Espírito Santo, pela confiança e incentivo para ingressar na pós-graduação. Ao Prof. Dr. Adenilso da Silva Simão, pelo respeito à minha atuação enquanto representante discente e consideração pelos alunos do PPG-CCMC.À todos os professores que tive a oportunidade de encontrar desde o ensino básico, pois me fizeram admirar essa profissão de mudar o mundo.Aos amigos da PuraTI, Diego e André, pela oportunidade de trabalhar juntos por um objetivo e pelo exemplo de perseverança.À todos (e são muitos) colegas e amigos do LabES, pelas inúmeras experiências, aprendizados e lições.Ao serviço de pós-graduação do ICMC, em especial à Carol Murata, Leonardo Miyake e Lycaena Couvre.Ao CNPq, CAPES e FAPESP pelo apoio financeiro."Será algo de maravilhoso quando vislumbrarmos a verdadeira personalidade do homem. Crescerá naturalmente, simplesmente, à maneira das flores ou das árvores. Nunca se porá em discórdia, nem entrará em discussões ou contendas. Nada terá de provar. Conhecerá tudo. E no entanto não se ocupará do conhecimento. Será sábia. Bens materiais não medirão seu valor. Não haverá de ter coisa alguma. E terá no entanto todas as coisas; tão rica, o que dela venha a se tirar, ela ainda o haverá de ter. Não estará sempre se intrometendo com os demais, ou pedindo-lhes para serem iguais a si própria. Ela os amará por serem diferentes. E embora não vá se intrometer com os demais, ajudará a todos, como algo de belo nos ajuda por ser o que é."

show abstract

“…Besides ISO/IEC 25010:2011, it is also possible to identify studies in the literature focusing on proposing quality models and sets of quality characteristics for particular system domains, such as embedded systems (Ahrens et al, 2013;Carvalho and Meira, 2009;Sherman, 2008). These studies add quality characteristics relevant to a particular domain and adapt definitions of existing characteristics to better describe quality in this domain.…”

Section: Software Architectures and Software Qualitymentioning

confidence: 99%

Projeto arquitetural de sistemas robóticos orientados a serviços

Oliveira¹

View full text Add to dashboard Cite

The ICMC/USP and its employees for the efficiency and continuous support. All teachers and professors that contributed to my education. Fundação de Amparoà Pesquisa do Estado de São Paulo (FAPESP) (grant 2011/06022-0) for financially supporting this doctoral project and Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) (grant 239981/2012-0) for funding the time I spent abroad. Agradecimentos Eu não seria capaz de concluir essa tese sem as direções dadas pelos meus orientadores, a ajuda de amigos e colegas, bem como o apoio da minha família. Em particular, eu gostaria de agradecer: A professora Elisa Yumi Nakagawa, pelo conhecimento, paciência e confiança na orientação deste trabalho. Vocêé um exemplo de gentileza e comprometimento. Ao professor Flavio Oquendo, da Université de Bretagne-Sud (UBS), França, pelo seu conhecimento e preciosas orientações durante a condução deste trabalho, bem como a Andressa pela recepção cordial em Vannes e o apoio durante minha visita. A minha mãe, Rosa Maria Bueno, por sua devoção a minha educação e constante amor. Esse trabalho tambémé seu. Ao meu amor, Juliana, pela compreensão e por me inspirar todos os dias. Essa teseé dedicada a você! A minha família, pelo pensamento positivo e palavras de encorajamento. Em especial,

show abstract

Towards an Embedded Software Component Quality Verification Framework

Cited by 12 publications

References 9 publications

Measuring the constraint complexity of automotive embedded software systems

Measuring the constraint complexity of automotive embedded software systems

A quality model for critical embedded systems

Projeto arquitetural de sistemas robóticos orientados a serviços

Contact Info

Product

Resources

About