Terrier: an embedded operating system using advanced types for safety

Operating systems software is fundamental to modern computer systems: all other applications are dependent upon the correct and timely provision of basic system services. At the same time, advances in programming languages and type theory have lead to the creation of functional programming languages with type systems that are designed to combine theorem proving with practical systems programming. The Terrier operating system project focuses on low-level systems programming in the context of a multi-core, real-time, embedded system, while taking advantage of a dependently typed programming language named ATS to improve reliability. Terrier is a new point in the design space for an operating system, one that leans heavily on an associated programming language, ATS, to provide safety that has traditionally been in the scope of hardware protection and kernel privilege. Terrier tries to have far fewer abstractions between program and hardware. The purpose of Terrier is to put programs as much in contact with the real hardware, real memory, and real timing constraints as possible, while still retaining the ability to multiplex programs and provide for a reasonable level of safety through static analysis

Media policy for ethnic and national minorities in Poland, the Czech Republic and Slovakia

This chapter describes legal, institutional and professional frameworks for media policy concerning national and ethnic minorities in Poland, the Czech Republic and Slovakia. It considers four models of minority media policy – the autonomous; anti-discrimination; minority protection and assimilation models – in an attempt to examine how minority access to the media can be facilitated through regulation. In particular, the author argues for greater emphasis to be placed on minority protection and anti-discrimination measures

Achieving Obfuscation Through Self-Modifying Code: A Theoretical Model

With the extreme amount of data and software available on networks, the protection of online information is one of the most important tasks of this technological age. There is no such thing as safe computing, and it is inevitable that security breaches will occur. Thus, security professionals and practices focus on two areas: security, preventing a breach from occurring, and resiliency, minimizing the damages once a breach has occurred. One of the most important practices for adding resiliency to source code is through obfuscation, a method of re-writing the code to a form that is virtually unreadable. This makes the code incredibly hard to decipher by attackers, protecting intellectual property and reducing the amount of information gained by the malicious actor. Achieving obfuscation through the use of self-modifying code, code that mutates during runtime, is a complicated but impressive undertaking that creates an incredibly robust obfuscating system. While there is a great amount of research that is still ongoing, the preliminary results of this subject suggest that the application of self-modifying code to obfuscation may yield self-maintaining software capable of healing itself following an attack

Preservation & revitalisation of marginal languages : a study of Creoles and adult learning and education

Language, which is social in nature, is the primary tool used by human beings to communicate. It is inextricably intertwined with culture. Every language should be safeguarded because of its criticality to human identity and survival. Bearing in mind the afore-mentioned, this paper examines the preservation and revitalisation of marginal languages, as in the case of Creole languages. The paper launches into a critical discussion about language and domination, with specific reference to colonialism and its profound impact on the marginalisation of language and the origination of Creole languages. It outlines some of the issues which may arise from these endangered or extinct languages. By means of an examination of the case of Saint Lucian Kwéyòl, the paper considers adult learning and education as a possibly powerful tool to preserve, revitalise and promote a marginal language. Some of the impacts and challenges of adult learning and education, as it relates to the implementation of this initiative, are also addressed. Consequently, it is argued that every attempt should be made to ensure the protection of marginal languages, in order to promote linguistic and cultural diversity, and human rights.peer-reviewe