a r t i c l e i n f o Keywords: Software and hardware quality assurance Airborne software and hardware Safety certification DO-178B DO-254 To ensure the safety of avionic systems, civil avionic software and hardware regulated by certification authorities must be certified based on applicable standards (e.g., DO-178B and DO-254). The overall safety integrity of an avi-onic system, comprising sof...

Özet: 1960'lı yılların sonundan bu yana yazılım projeleri yürütülmektedir. Yazılım mühendisliği alanında yapılan araştırmalar bu projelerin başarı ile tamamlanması için alınması gereken önlemleri anlatsa da günümüzde hala pek çok yazılım projesi başarısızlıkla sonuçlanmaktadır. Ayrıca, bu alanda yapılan araştırma sonuçları daha çok proje süreci başlamadan alınması gereken önlemleri belirtir. Bi...

a Universidade Federal do Rio Grande do Norte (UFRN), Trairi Health Sciences Faculty, Physical Therapy Course, Santa Cruz, RN, Brazil b Universidade Federal do Rio Grande do Norte (UFRN), Trairi Health Sciences Faculty, Rehabilitation Sciences Program, Santa Cruz, RN, Brazil c Universidade Federal do Rio Grande do Norte (UFRN), Trairi Health Sciences Faculty, Public Health Program, Santa Cruz, ...

Özet. Bu bildiride, Türk Başlangıç ve Temel Eğitim Uçağı’nın (Hürkuş) tip sertifikasyonu yolculuğunda, uçak üzerindeki cihazların içindeki yazılımların “DO-178B” (Software Considerations in Airborne Systems and Equipment Certification) rehber dokümanına ve projenin sertfikasyon otoritesi “Avrupa Sivil Havacılık Otoritesi” (European Aviation Safety Agency (EASA)) tarafından açılan “Sertifikasyon...

We give an example of an operator that satisfies the curvature condition as defined in [2], but is not similar to the backward shift S ∗ on the Hardy class H. We conclude therefore that the contraction assumption in the similarity characterization given in [2] is a necessary requirement.

Challenges for the Implementation of the First Large-Scale Rheumatic Heart Disease Screening Program in Brazil: The PROVAR Study Experience Julia Pereira Afonso dos Santos,1 Gabriel Assis Lopes do Carmo,1 Andrea Zawacki Beaton,2 Tainá Vitti Lourenço,1 Adriana Costa Diamantino,1 Maria do Carmo Pereira Nunes,1 Craig Sable,2 Bruno Ramos Nascimento1 Hospital das Clínicas da Universidade Federal de ...

This paper introduces a framework to produce and to manage quality requirements of embedded aeronautical systems, called the ‘Requirements Engineering Framework’ (REF). It aims at making the management of the requirement lifecycle easier, from the specification of the purchaser’s needs, to their implementation in the final products, and also their verification, while controlling costs. REF is b...

Recent efforts to increase online privacy by offering the user a more general choice to opt out of online tracking were mainly pushed by the FTC in late 2010. As the FTC explicitly omitted technical details, browser developers started to implement what they thought might be appropriate to either limit user tracking directly, or let the advertiser know about the user’s wish to not be tracked. Th...

2. Do I hold in my hand the truly appropriate remedy for that lack ? 3. Is the preparation stable, active, pure, and uniform ? 4. Can I accurately determine the dosage ? 5. Is the preparation smoothly active when administered by the route I propose ? 6. Are ill-effects impossible ? Even if these questions cannot be answered in the affirmative, he gives the prescriber one more chance, provided t...