Software Security Metrics for Malware Resilience

We examine the level of resistance offered by a software product against malicious software (malware) attacks. Analysis is performed on the software architecture. This is available as a result of the software design process and can hence be used at an early stage in development. A model of a generic computer system is developed, based on the internationally recognized Common Criteria for Information Technology Security Evaluation. It is formally specified in the Z modeling language. Malicious software attacks and security mechanisms are captured by the model. A repository of generic attack methods is given and the concept of resistance classes introduced to distinguish different levels of protection. We assess how certain architectural properties and changes in system architecture affect the possible resistance classes of a product. This thesis has four main contributions: A generic model of an operating system from a security perspective, a repository of typical attack methods, a set of resistance classes, and an identification of software architecture metrics pertaining to ordered security levels

The effectiveness of school nutrition programme of the Eastern Cape Department of Education

This dissertation is about the National School Nutrition Programme (NSNP) in South Africa. This Programme was introduced by government in 1994 with the aim of alleviating poverty; unemployment and improving learning capacity of children. Specifically, it is intended to help poor children and to empower poverty-stricken communities, particularly in the rural areas across all the nine provinces. The focus of this study is on the investigation of effectiveness and efficient management of the Programme in the Eastern Cape Province, with specific reference to Mhlontlo District. Mhlontlo district is one of the predominantly rural areas in the province of the Eastern Cape, a remote area characterized by high levels of poverty and unemployment, and low levels of infrastructural developments. Surrounding Schools in the area are also affected by these problems. Learners at these schools are from poor families. It is for this reason that this scheme becomes important as it is most needed and, to effectively and efficiently realise its intended objectives, it must be properly managed. The main theme of the study revolves around effective and efficient service delivery that must be taken as the first priority in the management of NSNP. Factors that contribute to efficiency and effectiveness must be taken into consideration by all stakeholders and are outlined as follows: The aims in this study is to assess the effectiveness of management of the National School Nutrition Programme at Mhlontlo district in the eastern Cape, to identity shortcomings in the management of the Programme and to suggest possible remedies to improve the management of the Programme to effective service delivery. Against the background of the problem statement, the following questions were posited. How can the management of the National School Nutrition Programme with specific reference to Mhlontlo district be enhanced to ensure that its intended objectives are realized? What effect will improved management have on service delivery in the National School Nutrition Programme? And how will adherence to the Batho Pele Principles improve service delivery in schools with regard to the National School Nutrition Programme? The target population in this study was the learners, teachers and community of Schools around Mhlontlo District whose children are being catered for at school as respondents. Statistics of learners who are beneficiaries of this programme were obtained from surrounding Schools. The percentage of the response to the questions led to the results that services are not delivered as effectively as expected. The study concluded by recommendations of what national and provincial department of Education are required to do together with the school, service providers and the community in order to improve service delivery in schools that participate in the NSNP. Finally, the NSNP is for the deprived citizens of South Africa. The onus is on the community of Mhlontlo District, service providers, teachers and education authorities responsible for the NSNP to work together to make the programme effective for advancing the development of young people

The effectiveness of school nutrition programme of the Eastern Cape Department of Education

This dissertation is about the National School Nutrition Programme (NSNP) in South Africa. This Programme was introduced by government in 1994 with the aim of alleviating poverty; unemployment and improving learning capacity of children. Specifically, it is intended to help poor children and to empower poverty-stricken communities, particularly in the rural areas across all the nine provinces. The focus of this study is on the investigation of effectiveness and efficient management of the Programme in the Eastern Cape Province, with specific reference to Mhlontlo District. Mhlontlo district is one of the predominantly rural areas in the province of the Eastern Cape, a remote area characterized by high levels of poverty and unemployment, and low levels of infrastructural developments. Surrounding Schools in the area are also affected by these problems. Learners at these schools are from poor families. It is for this reason that this scheme becomes important as it is most needed and, to effectively and efficiently realise its intended objectives, it must be properly managed. The main theme of the study revolves around effective and efficient service delivery that must be taken as the first priority in the management of NSNP. Factors that contribute to efficiency and effectiveness must be taken into consideration by all stakeholders and are outlined as follows: The aims in this study is to assess the effectiveness of management of the National School Nutrition Programme at Mhlontlo district in the eastern Cape, to identity shortcomings in the management of the Programme and to suggest possible remedies to improve the management of the Programme to effective service delivery. Against the background of the problem statement, the following questions were posited. How can the management of the National School Nutrition Programme with specific reference to Mhlontlo district be enhanced to ensure that its intended objectives are realized? What effect will improved management have on service delivery in the National School Nutrition Programme? And how will adherence to the Batho Pele Principles improve service delivery in schools with regard to the National School Nutrition Programme? The target population in this study was the learners, teachers and community of Schools around Mhlontlo District whose children are being catered for at school as respondents. Statistics of learners who are beneficiaries of this programme were obtained from surrounding Schools. The percentage of the response to the questions led to the results that services are not delivered as effectively as expected. The study concluded by recommendations of what national and provincial department of Education are required to do together with the school, service providers and the community in order to improve service delivery in schools that participate in the NSNP. Finally, the NSNP is for the deprived citizens of South Africa. The onus is on the community of Mhlontlo District, service providers, teachers and education authorities responsible for the NSNP to work together to make the programme effective for advancing the development of young people

An e-learning instructional design framework for mobile devices in Africa

English text, with summaries in English, Afrikaans and ZuluThis study aims to propose an e-learning framework for mobile devices in Africa to help improve enrolment rates and education standards in the FET (Further Education and Training) phase. The study is qualitative in nature and employs document analysis as main research method. An overview of the South African education context with supporting statistical data to motivate why an e-learning alternative is crucial for improving South African and African education is provided. The literature review includes a descriptive analysis of 7 existing e- and m-learning frameworks, with key features highlighted for possible adaptation or incorporation into an e-learning framework for Africa. Behaviourism, Constructivism and Connectivism are discussed as applicable learning theories to pedagogically underpin this proposed e-learning framework. Thereafter, a critical evaluation of current South African education policy documents (White Papers, the Norms and Standards for Educators and the Draft Policy for the Provision and Management of Learning Teaching and Support Materials) is conducted to determine whether these policies support and enable e-learning effectively. Part 2 of Chapter 5 comprises a critical analysis and comparison of education systems and applicable legislation in the USA, Finland and Malawi to establish how education is structured and how e-learning is administered in these countries to make relevant recommendations for South Africa and to inform the design of an e-learning framework for Africa. Research findings are presented as answers to the research questions posed and the proposed e-learning framework with further recommendations are presented to the South African Department of Basic Education, teachers and researchers.Die doel van hierdie studie is om ‘n e-onderrig-en-leer raamwerk vir mobiele toestelle vir Afrika voor te stel, sodat inskrywingsgetalle en onderrig- en leerstandaarde in die Verdere Onderrig en Opleidings (VOO) fase verbeter kan word. Dit is ‘n kwalitatiewe studie en dokumentanalise word as navorsingsmetode toegepas. ‘n Oorsig van die huidige Suid-Afrikaanse onderwysstelsel en konteks met ondersteunende statistiese bevindinge word verduidelik om e-onderrig-en-leer as noodsaaklike alternatief vir Suid-Afrika en Afrika te motiveer. Die literatuuroorsig sluit ‘n beskrywende analise van sewe bestaande e- en m-onderrig-en-leer (mobiele-onderrig-en-leer) raamwerke in. Hoofkenmerke van elke raamwerk word uitgelig vir moontlike aanpassing en inkorporering in ‘n e-onderrig-en-leer raamwerk vir die Afrika-konteks. Leerteorië, nl Behaviourisme, Konstruktivisme en Konnektivisme (Connectivism) word in diepte bespreek as pedagogies fundamenteel om die e-onderrig-en-leer raamwerk te onderbou en te ondersteun. ‘n Kritiese evaluasie van Suid-Afrikaanse onderwysbeleid (d.w.s. Witskrifte, die Norme and Standaarde vir Onderwysers en die konsepdokument oor die Voorsiening en Bestuur van Onderrig-, Leer- en Ondersteuningsmateriaal) is gedoen om vas te stel of die beleid wel e-onderrig-en-leer effektief ondersteun en prakties moontlik maak. ‘n Krities analitiese en vergelykende studie van die VSA (Verenigde State van Amerika), Finland en Malawi se onderwysstelsels- en wetgewing is gedoen in hoofstuk 5 deel 2 om te bepaal hoe dié lande onderwys struktureer en hoe e-onderrig-en–leer geadministreer word, sodat relevante voorstelle vir Suid-Afrika gemaak kan word en om insae te lewer in die ontwerp van ‘n e-onderrig-en-leer raamwerk toepaslik vir die Afrika-kontinent. Navorsingsbevindinge word voorgelê aan die Suid-Afrikaanse Departement van Basiese Onderwys, onderwysers sowel as aan navorsers.Lolu cwaningo luhlose ukuphakamisa uhlaka lwe-e-learning lamadivaysi eselula e-Afrika ukusiza ukuthuthukisa izinga lokubhalisa nezindinganiso zemfundo kwiSigaba se-FET (Further Education and Training). Ucwaningo luyimfanelo enemvelo futhi lusebenzisa ukuhlaziywa kwedokhumenti njengendlela yokucwaninga eyinhloko. Ukuhlolisisa umongo wezemfundo waseNingizimu Afrika ngokusekela imniningwane yezibalo ukugqugquzela ukuthi kungani enye yokufunda email ibalulekile ekuthuthukiseni imfundo yaseNingizimu Afrika ne-Afrika. Ukubuyekezwa kwezincwadi kuhlanganisa ukuhlaziywa okuchazayo kwezinhlaka eziyisikhombisa ezisekhona ze-e- e-m-learning, nezici eziyinhloko eziqokonyiswe ukukhishwa kwe-adaption noma ukufakwa kwisakhiwo se-e-learning se-Afrika. Ukuzikhethela, Ukwakhiwa kwe-Constructivism (Kwe Zokwakha) kanye ne-Connectivism (Kwe Zokuxhumana) kuxoxwa njengezifundo ezifanele zokufunda ukusekela lolu hlelo oluhlongozwayo lwe-e-learning. Ngemuva kwaloko, ukuhlolwa okubalulekile kwemibhalo yamanje yemfundo yaseNingizimu Afrika (Amaphepha Asemhlophe, Imigomo Nemigomo Yabafundisi kanye neNqubomgomo Yohlaka Lokufundiswa Nezifundo Nokusekela) kwenziwa ukuze kutholakale ukuthi lezi zinqubomgomo zisekela futhi zikwazi yini ukufundisa nge-e-ephumelelayo. Ingxenye yesibili yeSahluko sesihlanu iqukethe ukuhlaziywa okubucayi kanye nokuqhathaniswa kwezinhlelo zemfundo kanye nemithetho esebenzayo eMelika, eFinland nase Malawi ukuqinisekisa ukuthi imfundo ihlelwe kanjani nokuthi i-e-learning inikezwa kanjani ukwenza izincomo ezifanele eNingizimu Afrika nokwazisa ukuklama uhlaka lwe-e-learning lwe-Afrika. Imiphumela yokucwaninga inikezwa njengezimpendulo zemibuzo yokucwaninga ephakanyisiwe kanye nohlaka oluhlongozwayo lwe-e-learning kanye nezincomo ezengeziwe ezethulwa eMnyangweni wezemfundo Eyisisekelo, othisha nabacwaningi baseNingizimu Afrika.Curriculum and Instructional StudiesM. Ed. (Curriculum Studies

A Multi-Methodology System as IT Project Management Approach in South African Banking

Industrial Engineerin

Mining and checking object behavior

This thesis introduces a novel approach to modeling the behavior of programs at runtime. We leverage the structure of object-oriented programs to derive models that describe the behavior of individual objects. Our approach mines object behavior models, finite state automata where states correspond to different states of an object, and transitions are caused by method invocations. Such models capture the effects of method invocations on an object\u27;s state. To our knowledge, our approach is the first to combine the control-flow with information about the values of variables. Our ADABU tool is able to mine object behavior models from the executions of large interactive JAVA programs. To investigate the usefulness of our technique, we study two different applications of object behavior models: Mining Specifications Many existing verification techniques are difficult to apply because in practice the necessary specifications are missing. We use ADABU to automatically mine specifications from the execution of test suites. To enrich these specifications, our TAUTOKO tool systematically generates test cases that exercise previously uncovered behavior. Our results show that, when fed into a typestate verifier, such enriched specifications are able to detect more bugs than the original versions. Generating Fixes We present PACHIKA, a tool to automatically generate possible fixes for failing program runs. Our approach uses object behavior models to compare passing and failing runs. Differences in the models both point to anomalies and suggest possible ways to fix the anomaly. In a controlled experiment, PACHIKA was able to synthesize fixes for real bugs mined from the history of two open-source projects.Diese Arbeit stellt einen neuen Ansatz zur Modellierung des Verhaltens eines Programmes zur Laufzeit vor. Wir nutzen die Struktur Objektorientierter Programme aus um Modelle zu erzeugen, die das Verhalten einzelner Objekte beschreiben. Unser Ansatz generiert Objektverhaltensmodelle, endliche Automaten deren Zustände unterschiedlichen Zuständen des Objektes entsprechen. Zustandsübergänge im Automaten werden durch Methodenaufrufe ausgelöst. Diese Modelle erfassen die Auswirkungen von Methodenaufrufen auf den Zustand eines Objektes. Nach unserem Kenntnisstand ist unser Ansatz der Erste, der Informationen über den Kontrollfluss eines Programms mit den Werten von Variablen kombiniert. Unser ADABU Prototyp ist in der Lage, Objektverhaltensmodelle von Ausführungen großer JAVA Programme zu lernen. Um die Anwendbarkeit unseres Ansatzes in der Praxis zu untersuchen, haben wir zwei unterschiedliche Anwendungen von Objektverhaltensmodellen untersucht: Lernen von Spezifikationen: Viele Ansätze zur Programmverifikation sind in der Praxis schwierig zu verwenden, da die notwendigen Spezifikationen fehlen. Wir verwenden ADABU um Spezifikationen von der Ausführung automatischer Tests zu lernen. Um die Spezifikationen zu vervollständigen generiert der TAUTOKO Prototyp systematisch Tests, die gezielt neues Verhalten abtesten. Unsere Ergebnisse zeigen, dass derart vervollständigte Spezifikationen für ein spezielles Verifikationsverfahren namens \u27;Typestate Verification\u27; wesentlich mehr Fehler finden als die ursprünglichen Spezifikationen. Automatische Programmkorrektur: Wir stellen PACHIKA vor, ein Werkzeug das automatisch mögliche Programmkorrekturen für fehlerhafte Programmläufe vorschlägt. Unser Ansatz verwendet Objektverhaltensmodelle um das Verhalten von normalen und fehlerhaften Läufen zu vergleichen. Unterschiede in den Modellen weisen auf Anomalien hin und zeigen mögliche Korrekturen auf. In einem kontrollierten Experiment war PACHIKA in der Lage, Korrekturen für echte Fehler aus der Versionsgeschichte zweier quelloffener Programme zu generieren

Blockchain Feasibility Assessment - A Quantitative Approach

Industrial Engineerin

A workload inventory for South African organisations

Current literature reflects escalating concerns regarding the potential organisational damage that can result from overloaded and under loaded workforces. Overloaded and under loaded workforces have been linked to poor employee well-being, reduced productivity, dissatisfaction and higher turnover rates. This study aimed to develop a scale for the measurement of workload within South African organisations. The initial scale contained six dimensions and a total of 71 items. These items were then sent to subject matter experts in order to determine their content validity. The survey was then completed by 224 employed individuals. An exploratory factor analysis (EFA) was performed and six factors were indicated. The overall reliability of the scale was highly satisfactory with inter-correlations between scale items. The results suggest that the South African Workload Scale (SAWS) is a promising instrument for the measurement of workload within South African organisations. Copyright 2010, University of Pretoria. All rights reserved. The copyright in this work vests in the University of Pretoria. No part of this work may be reproduced or transmitted in any form or by any means, without the prior written permission of the University of Pretoria. Please cite as follows: Myburgh, T 2010, A workload inventory for South African Organisations, MCom dissertation, University of Pretoria, Pretoria, viewed yymmdd C12/4/64/gmDissertation (MCom)--University of Pretoria, 2010.Human Resource Managementunrestricte

Advances in Automated Driving Systems

Electrification, automation of vehicle control, digitalization and new mobility are the mega-trends in automotive engineering, and they are strongly connected. While many demonstrations for highly automated vehicles have been made worldwide, many challenges remain in bringing automated vehicles to the market for private and commercial use. The main challenges are as follows: reliable machine perception; accepted standards for vehicle-type approval and homologation; verification and validation of the functional safety, especially at SAE level 3+ systems; legal and ethical implications; acceptance of vehicle automation by occupants and society; interaction between automated and human-controlled vehicles in mixed traffic; human–machine interaction and usability; manipulation, misuse and cyber-security; the system costs of hard- and software and development efforts. This Special Issue was prepared in the years 2021 and 2022 and includes 15 papers with original research related to recent advances in the aforementioned challenges. The topics of this Special Issue cover: Machine perception for SAE L3+ driving automation; Trajectory planning and decision-making in complex traffic situations; X-by-Wire system components; Verification and validation of SAE L3+ systems; Misuse, manipulation and cybersecurity; Human–machine interactions, driver monitoring and driver-intention recognition; Road infrastructure measures for the introduction of SAE L3+ systems; Solutions for interactions between human- and machine-controlled vehicles in mixed traffic