| Texto completo | |
| Autor(es): |
Muniz Leite, Ana Isabella
[1]
;
Lagoa, Lucas
[2]
;
Lopes, Samuel
[2]
;
Braga, Rosana
[2]
;
Antonino, Pablo Oliveira
[3]
;
Nakagawa, Elisa Yumi
[2]
Número total de Autores: 6
|
| Afiliação do(s) autor(es): | [1] Univ Estadual Paraiba, Dept Comp, BR-58429500 Campina Grande, Paraiba - Brazil
[2] Univ Sao Paulo, Inst Ciencias Matemat & Comp, BR-13566590 Sao Carlos - Brazil
[3] Fraunhofer Inst Expt Software Engn, Software Engn Embedded Syst Dept, D-67663 Kaiserslautern - Germany
Número total de Afiliações: 3
|
| Tipo de documento: | Artigo Científico |
| Fonte: | IEEE TRANSACTIONS ON EDUCATION; v. 65, n. 1 JUL 2021. |
| Citações Web of Science: | 0 |
| Resumo | |
Contribution: This article details the conduction of an experiment to investigate the knowledge that computer science graduate students have about safety-critical systems development, in particular, safety requirements specifications. Future research directions are also discussed. Background: Safety-critical systems have been increasingly used in many critical domains, requiring a rigorous development process as well as certification by regulatory agencies. However, it is not clear whether computer science courses deliver adequate education for students to develop such systems. Experimental research with these students could provide evidence on whether they have the minimum knowledge necessary to develop safety-critical systems. This type of research presents several advantages, such as reproducibility, high-level control, and specific conclusions, but has not been widely adopted to verify learning issues. Research Question: How to measure the understanding of students on safety-critical systems development? (AU) | |
| Processo FAPESP: | 17/06195-9 - RASoS: construção de arquiteturas de referência de sistemas-de-sistemas |
| Beneficiário: | Elisa Yumi Nakagawa |
| Modalidade de apoio: | Auxílio à Pesquisa - Regular |
| Processo FAPESP: | 15/24144-7 - Tecnologias e soluções para habilitar o paradigma de nuvens de coisas |
| Beneficiário: | José Neuman de Souza |
| Modalidade de apoio: | Auxílio à Pesquisa - Temático |