Statistical reliability assessment of software-based systems

ABSTRACT Plant vendors nowadays propose software-based systems even for the most critical safety functions. The reliability estimation of safety critical software-based systems is difficult since the conventional modeling techniques do not necessarily apply to the analysis of these systems, and the quantification seems to be impossible. Due to lack of operational experience and due to the nature of software faults, the conventional reliability estimation methods can not be applied. New methods are therefore needed for the safety assessment of software-based systems. In the research project “Programmable automation systems in nuclear power plants (OHA)”, financed together by the Finnish Centre for Radiation and Nuclear Safety, the Ministry of Trade and Industry and the Technical Research Centre of Finland, various safety assessment methods and tools for software based systems are developed and evaluated. This volume in the OHA-report series deals with the statistical reliability assessment of software based systems on the basis of dynamic test results and qualitative evidence from the system design process. Other reports to be published later on in OHA-report series will handle the diversity requirements in safety critical software-based systems, generation of test data from operational profiles and handling of programmable automation in plant PSA-studies.TIIVISTELMÄ Ydinvoimalaitosten toimittajat tarjoavat nykyään ohjelmoitavaa tekniikkaa kaikkein turvallisuuskriittisimpiinkin turvatoimintoihin. Turvallisuuskriittisten ohjelmoitavien järjestelmien luotettavuuden arviointi on vaikeaa koska tavanomaiset mallinnusmenetelmät eivät välttämättä sovellu näiden analyysiin, ja luotettavuuden kvantifiontia pidetään mahdottomana. Käyttökokemusten puute ja ohjelmistovikojen luonne aiheuttavat sen, että tavanomaisia luotettavuuden arviointimenetelmiä ei voida soveltaa. Uusia menetelmiä tarvitaan näinollen ohjelmoitavien järjestelmien turvallisuuden arviointiin. ”Ydinvoimalaitosten ohjelmoitavat automaatiojärjestelmät (OHA)” -tutkimushankkeessa kehitetään ja arvioidaan erilaisia ohjelmoitavien järjestelmien turvallisuuden arviointimenetelmiä. Hanketta rahoittavat Säteilyturvakeskus (STUK), Kauppa- ja teollisuusministeriö (KTM) sekä Valtion teknillinen tutkimuskeskus (VTT). OHA-projektin raporttisarjan tämä osa käsittelee ohjelmoitavien järjestelmien luotettavuuden tilastollista arviointia järjestelmän dynaamisten testien tulosten ja sen suunnitteluprosessin laatua kuvaavan kvalitatiivisen evidenssin avulla. Myöhemmin julkaistavissa sarjan muissa raporteissa käsitellään turvallisuuskriittisten ohjelmoitavien järjestelmien diversiteettivaatimuksia, testidatan generointia käyttöprofiileista sekä ohjelmoitavien järjestelmien käsittelyä laitoksen PSA-tutkimuksissa.1. paino

Desain Penelitian Tindakan Kelas Berbasis Pembelajaran Kooperatif Tipe Teams Game Tournament

Profesionalisme guru tidak hanya ditunjukkan dalam bukti-bukti formal seperti kepemilikan sertifikat pendidik. Lebih penting lagi adalah pengamalan secara substantif terkait tugas-tugas profesi keguruan. Tuntutan ini menyebabkan guru tidak lagi dapat bertahan pada zona nyaman, hanya menyelenggarakan rutinitas pembelajaran. Pencarian secara terus-menerus terkait pendekatan dan teknik pembelajaran mesti dilakukan, dengan menelusuri literatur-literatur terbaru, juga perkembangan terkini dalam praktik pembelajaran, sehingga dapat menjadi inspirasi terhadap perbaikan pembelajaran di sekolah masing-masing. Penelitian tindakan kelas merupakan salah satu ikhtiar untuk menciptakan tradisi akademik yang baik bagi guru, disamping budaya membaca juga tradisi menulis ilmiah. Sebelum mempratikkan jenis penelitian tindakan, maka guru secara konseptual harus memiliki pemahaman tentang desain penelitian tindakan. Kemampuan menciptakan desain pembelajaran berbasis penelitian tindakan menjadi tanda bahwa guru memiliki kesiapan untuk melakukan perbaikan-perbaikan pembelajaran. Dalam desain pembelajaran menggambarkan alas pikir perlunya tindakan dilakukan, pemahaman terhadap fakta-fakta di kelas, memetakan domain-domain penyelidikan, dan menetapkan strategi pembelajaran yang tepat. Desain juga mensyaratkan penjelasan teknis tentang praktik pembelajaran, mulai dari jenis penelitian, subjek yang diteliti, teknik pengumpulan data, teknik analisis data, dan siklus yang harus dilewati selama pemberian tindakan. Kata Kunci: Desain Penelitian, Pembelajaran Kooperati