Search results for "verifiointi"

Progress Checking for Dummies

2018

Verification of progress properties is both conceptually and technically significantly more difficult than verification of safety and deadlock properties. In this study we focus on the conceptual side. We make a simple modification to a well-known model to demonstrate that it passes progress verification although the resulting model is intuitively badly incorrect. Then we point out that the error can be caught easily by adding a termination branch to the system. We compare the use of termination branches to the established method of addressing the same need, that is, weak fairness. Then we discuss another problem that may cause failure of catching progress errors even with weak fairness. Fi…

Merkitysorganisaatiot todennettuina PMQ-kyselyn ja kirjoitettujen itseanalyysien avulla: menetelmien vastaavuuden vertailu

2005

Partial-order reduction for parity games and parameterised Boolean equation systems

2022

AbstractIn model checking, reduction techniques can be helpful tools to fight the state-space explosion problem. Partial-order reduction (POR) is a well-known example, and many POR variants have been developed over the years. However, none of these can be used in the context of model checking stutter-sensitive temporal properties. We propose POR techniques for parity games, a well-established formalism for solving a variety of decision problems, including model checking. As a result, we obtain the first POR method that is sound for the full modal $$\upmu $$ μ -calculus. We show how our technique can be applied to the fixed point logic called parameterised Boolean equation systems, which pro…

Pedagogical approaches for e-assessment with authentication and authorship verification in Higher Education

2019

Checking the identity of students and authorship of their online submissions is a major concern in Higher Education due to the increasing amount of plagiarism and cheating using the Internet. The literature on the effects of e-authentication systems for teaching staff is very limited because it is a novel procedure for them. A considerable gap is to understand teaching staff' views regarding the use of e-authentication instruments and how they impact trust in e-assessment. This mixed-method study examines the concerns and practices of 108 teaching staff who used the TeSLA—Adaptive Trust-based e-Assessment System in six countries: the UK, Spain, the Netherlands, Bulgaria, Finland and Turkey.…

Tulkinta empirismin tieto-opista : tietoteoreettinen analyysi David Humen, A.J. Ayerin ja Eino Kailan empiristisistä tietokäsityksistä

2011

Tämä pro gradu -tutkielma käsittelee empirismin tieto-oppia. Analysoitavina ovat tietoteoriassa vaikuttaneiden David Humen (1711–1776), A. J. Ayerin (1910–1989) sekä Eino Kailan (1890–1958) tietokäsitykset. Tulkintakulma on maltillisen valistushistoriallinen. Tutkimuksessa noudatetaan alkuperäistekstejä luettaessa suopeuden periaatetta, mutta esitetään myös kriittisiä huomioita itse oppeja kohtaan sekä pohditaan itse empiristisen tieto-opin mahdollista kehityskelpoisuutta. Tutkielma koostuu kahdesta pääluvusta. Ensimmäisessä luvussa tarkastellaan käsiteltävien filosofien metafysiikkakriittisiä ja verifikationistisia tietokäsityksiä. Niin Hume, Ayer kuin Kailakaan eivät katso metafysiikan ol…

Akateemisen opiskelijan tietoteknisen osaamisen todentaminen

2009

Lääkinnällisen laitteen ohjelmistokehitys täydennetyllä Scrum-mallilla

2010

Tässä tutkielmassa perehdytään Scrum-mallin käyttöön lääkinnällisen laitteen ohjelmistokehityksessä. Lääkinnällisissä laitteissa olevien ohjelmistojen määrä on kasvanut viime vuosina paljon ja potilasvahinkojen myötä viranomaiset ovat asettaneet vaatimuksia lääkinnällisen laitteen ohjelmistokehitykselle. Tutkimuksessa tunnistetaan Euroopan unionin lääkinnällisten laitteiden direktiivin asettamat vaatimukset ohjelmistokehitykselle. Tärkeimmät vaatimukset liittyvät turvalliseen suunnitteluun, jota ohjataan riskienhallinnalla ja varmistetaan testauksella. Scrum-mallia täydennetään tunnistettujen vaatimusten pohjalta ja lopuksi esitetyn mallin arvioidaan täyttävän sille asetetut vaatimukset ja …

If Only They Knew: Audience Expectations and Actual Sourcing Practices in Online Journalism

2019

This article answers the question “Are the sourcing practices in Finnish online journalism trustworthy?” Here, trustworthiness is operationalized as the fulfillment of audience expectations towards sourcing practices. To this end, expectations of young Finnish adults (aged 18–28) were compared to the observed practices of Finnish online journalists. A total of 36 news items (from 12 journalists working in three newsrooms, published in 2013 and 2017) were analyzed. The analysis indicates that online journalists’ sourcing practices largely do not conform to this audience segment's expectations. Namely, the audience expects more comprehensive investigation and thorough verification than what i…