Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for subject:( SCADE). Showing records 1 – 3 of 3 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters

1. ANDRADE, Marcelo Costa Melo de. Gerando modelos SCADE a partir de especificações descritas em SCR .

Degree: 2013, Universidade Federal de Pernambuco

Requisitos são um dos principais artefatos no desenvolvimento de um sistema. Para sistemas críticos, os requisitos são artefatos obrigatórios para satisfazer critérios de certificações tais como os descritos no guia de certificação DO-178B. Apesar de sua importância, estes artefatos são geralmente descritos informalmente através de linguagem natural. O uso da linguagem natural propicia a descrição de requisitos ambíguos, incompletos e inconsistentes. Para sanar este problema foi definido o método Software Cost Reduction (SCR), que permite a descrição formal de requisitos de forma precisa e relativamente amigável através do uso de tabelas preenchidas com expressões lógicas. Em particular, de forma a nos aproximarmos ainda mais das tecnologias usadas na indústria de sistemas críticos, neste trabalho nosso SCR é o implementado na ferramenta TTM da suíte T-VEC (um conjunto de ferramentas que suporta a sintaxe de SCR e possibilita a geração de vetores de testes e análise de propriedades), a qual é capaz de gerar casos de teste seguindo o guia DO-178B. Além dos requisitos, a certificação do código implementado também é uma obrigação para sistemas críticos e o uso de SCR somente não garante isso. Enquanto o método SCR auxilia na descrição detalhada de requisitos, o ambiente de desenvolvimento baseado em modelos denominado Safety Critical Application Development Environment (SCADE) auxilia na modelagem de software crítico. SCADE é também usado para gerar código certificado de acordo com o DO-178B. Neste trabalho apresentamos como obter modelos SCADE a partir de especificações descritas em SCR através da aplicação de regras de tradução. Com isto obtemos código certificado a partir de requisitos formais em uma única solução. Para aplicar as regras de forma automática, construímos uma ferramenta tradutora usando o framework Stratego/ XT. Por fim, aplicamos nosso tradutor em dois estudos de caso descritos em SCR. Foi feito uso de uma estratégia de verificação baseada em testes para atestar que os modelos SCADE produzidos por nosso tradutor correspondem às descrições em SCR. A estratégia de verificação consiste em usar T-VEC para gerar vetores de testes de acordo com o critério de cobertura MCDC e então aplicar os testes no código C gerado pelo SCADE. Apesar de nosso tradutor não ser provado correto, podemos argumentar indiretamente que o mesmo preserva as propriedades descritas em SCR nos modelos SCADE gerados automaticamente. Quanto a certificação do tradutor, isto fica a cargo de nosso parceiro industrial Embraer S.A. . Advisors/Committee Members: MOTA, Alexandre Cabral (advisor), CORNÉLIO, Márcio Lopes (advisor).

Subjects/Keywords: Especificação formal; Regras de tradução; Stratego/XT; Vetores de teste; Software Cost Reduction; SCADE

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

ANDRADE, M. C. M. d. (2013). Gerando modelos SCADE a partir de especificações descritas em SCR . (Thesis). Universidade Federal de Pernambuco. Retrieved from http://repositorio.ufpe.br/handle/123456789/12409

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

ANDRADE, Marcelo Costa Melo de. “Gerando modelos SCADE a partir de especificações descritas em SCR .” 2013. Thesis, Universidade Federal de Pernambuco. Accessed October 20, 2019. http://repositorio.ufpe.br/handle/123456789/12409.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

ANDRADE, Marcelo Costa Melo de. “Gerando modelos SCADE a partir de especificações descritas em SCR .” 2013. Web. 20 Oct 2019.

Vancouver:

ANDRADE MCMd. Gerando modelos SCADE a partir de especificações descritas em SCR . [Internet] [Thesis]. Universidade Federal de Pernambuco; 2013. [cited 2019 Oct 20]. Available from: http://repositorio.ufpe.br/handle/123456789/12409.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

ANDRADE MCMd. Gerando modelos SCADE a partir de especificações descritas em SCR . [Thesis]. Universidade Federal de Pernambuco; 2013. Available from: http://repositorio.ufpe.br/handle/123456789/12409

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

2. Padilla Gaeta, Jesús Alejandro. Modeling and Implementing Variability in Aerospace Systems Product Lines.

Degree: 2014, University of Waterloo

Avionics systems are becoming indispensable on both military and civil aircraft. As more and more of their vital functions are controlled by electronic devices, their system qualities such as safety, reliability, and fuel-efficiency are becoming increasingly dependent on the correct operation of the avionics on-board. As avionics applications increase in size and complexity, so are their development and testing costs. Therefore, it is not surprising that companies in this domain are looking for new development approaches that can help them deal with these challenges. In this regard, software product lines have been particularly successful. They can help reduce costs by designing systems that share a set of common assets that enable reuse in a structured way; they are developed as a family. One asset that is particularly useful to handle complexity and that makes sense to approach as a family is models. They provide the means to communicate and get consensus with other stakeholders, scope the system to create, predict important properties or characteristics, among others. In other words, a good model can become the cornerstone of a successful system. However, if modeling one system is challenging, modeling a family of them becomes even harder. Each member can be different, so the model must be able to specify accurately what parts are common to all of them, what can vary, and under which conditions. The purpose of this work is twofold. First, it evaluates the capabilities of SysML to describe variability accurately in the domain of avionics systems. Second, it provides guidelines for how to model and design systems that present it. In the end, this work concluded that simple extensions allow SysML to be appropriate for describing systems with variability. Also, it introduced a methodology and a series of structural and behavioral patterns to describe families of systems while keeping their differences under control. Implementation patterns were also included to show how models can be connected with code. Finally, this whole approach was evaluated via a case study based on five real aircraft engine instances.

Subjects/Keywords: software product line; variability; SysML; SCADE; avionics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Padilla Gaeta, J. A. (2014). Modeling and Implementing Variability in Aerospace Systems Product Lines. (Thesis). University of Waterloo. Retrieved from http://hdl.handle.net/10012/8917

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Padilla Gaeta, Jesús Alejandro. “Modeling and Implementing Variability in Aerospace Systems Product Lines.” 2014. Thesis, University of Waterloo. Accessed October 20, 2019. http://hdl.handle.net/10012/8917.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Padilla Gaeta, Jesús Alejandro. “Modeling and Implementing Variability in Aerospace Systems Product Lines.” 2014. Web. 20 Oct 2019.

Vancouver:

Padilla Gaeta JA. Modeling and Implementing Variability in Aerospace Systems Product Lines. [Internet] [Thesis]. University of Waterloo; 2014. [cited 2019 Oct 20]. Available from: http://hdl.handle.net/10012/8917.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Padilla Gaeta JA. Modeling and Implementing Variability in Aerospace Systems Product Lines. [Thesis]. University of Waterloo; 2014. Available from: http://hdl.handle.net/10012/8917

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

3. Ketata, Mohamed Aymen. Performance Prediction Upon Toolchain Migration in Model-Based Software.

Degree: 2015, University of Waterloo

Changing the development environment can have severe impacts on the system behavior such as the execution-time performance. Since it can be costly to migrate a software application, engineers would like to predict the performance parameters of the application under the new environment with as little effort as possible. In this work, we concentrate on model-driven development and provide a methodology to estimate the execution-time performance of application models under different toolchains. Our approach has low cost compared to the migration effort of an entire application. As part of the approach, we provide methods for characterizing model-driven applications, an algorithm for generating application-specific microbenchmarks, and results on using different methods for estimating the performance. In the work, we focus on SCADE as the development toolchain and use a Cruise Control and a Water Level application as case studies to confirm the technical feasibility and viability of our technique.

Subjects/Keywords: Model based development; Automated Code Generation; Estimation; Prediction; SCADE

…12 5.2 Saturate Throttle SCADE model . . . . . . . . . . . . . . . . . . . . . . . 14… …Throttle Regulation SCADE model . . . . . . . . . . . . . . . . . . . . . . 16 5.5 SCADE model… …and security issues. The upgrade of a verified toolchain such as the SCADE Systems is more… …under the new toolchain. Case studies of the SCADE toolchain for MDD provide evidence that our… …developed under two versions of SCADE systems and compared the predicted results to the migrated… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Ketata, M. A. (2015). Performance Prediction Upon Toolchain Migration in Model-Based Software. (Thesis). University of Waterloo. Retrieved from http://hdl.handle.net/10012/9742

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Ketata, Mohamed Aymen. “Performance Prediction Upon Toolchain Migration in Model-Based Software.” 2015. Thesis, University of Waterloo. Accessed October 20, 2019. http://hdl.handle.net/10012/9742.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Ketata, Mohamed Aymen. “Performance Prediction Upon Toolchain Migration in Model-Based Software.” 2015. Web. 20 Oct 2019.

Vancouver:

Ketata MA. Performance Prediction Upon Toolchain Migration in Model-Based Software. [Internet] [Thesis]. University of Waterloo; 2015. [cited 2019 Oct 20]. Available from: http://hdl.handle.net/10012/9742.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Ketata MA. Performance Prediction Upon Toolchain Migration in Model-Based Software. [Thesis]. University of Waterloo; 2015. Available from: http://hdl.handle.net/10012/9742

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

.