Multilevel operating systems

Inverse systems of linear systemsThe concept of inverse systems for standard and positive linear systems is introduced. Necessary and sufficient conditions for the existence of the positive inverse system for continuous-time and discrete-time linear systems are established. It is shown that: 1) The inverse system of continuous-time linear system is asymptotically stable if and only if the standard system is asymptotically stable. 2) The inverse system of discrete-time linear system is asymptotically stable if and only if the standard system is unstable. 3) The inverse system of continuous-time and discrete-time linear systems are reachable if and only if the standard systems are reachable. The considerations are illustrated by numerical examples.

As a standard of operating system in automotive industry, OSEK/VDX is applied on dozens of mature industrial operating systems and widely installed on the products of major automotive manufacturers. In this empirical report, we introduce our experience on verifying OSEK/VDX real-time operating system. From both source code and binary code level, the OSEK/VDX operating system is verified based on approaches comprising Hoare Logic, Communicating Sequential Processes, Binary Code Analysis and Discrete-Time Markov Chains model checking. Based on our approach, a commercial OSEK/VDX standard automotive operating system is verified and it is proved to be of great help to the development of software.

Software partitioning is a technology to partition a machine running a single instance of operating system image into multiple virtual machines called partitions. Each partition emulates an independent machine running a single instance of the operating system on dedicated hardware. All partitions are isolated form each other by the operating system. Software partitioning is very useful in server consolidation. A single powerful machine can be used to host many different servers each using a single software partition. This increases hardware resource utilization, gives flexibility to the administrator and can reduce system administration costs. The advantages offered by software partitioning are greatly enhanced with the capability to checkpoint a running software partition and restart it on a different machine. It helps in load balancing over hardware resources, load balancing over time and fault tolerance.Workload Partition [WPAR] is IBM's implementation that provides software partitioning capability on the AIX operating system. It is possible to do the live migration of the WPARs in and across AIX systems. The live migration is achieved by the checkpoint/restart mechanism. It is possible to checkpoint and restart WPARs running most existing AIX applications without any modification to the applications. Also the checkpoint and restart process is transparent to the application running inside the WPAR (Partition).This paper discusses the issues faced in implementing software partition checkpoint and restart in the AIX operating system. These issues will be typical to any standard UNIX operating system. To successfully checkpoint and restart a software partition, it is necessary not only to checkpoint all the user processes in the partition but also to checkpoint global data pertaining the partition itself and data shared between processes of the Partition like IPC data, Streams, timers, file handles, memory mapped regions, shared memory, System services, Virtual devices etc. The WPAR implementation handles both; the checkpoint of individual processes as well as checkpoint of partition wide data.

One of the main characteristics of reconfigurable embedded systems is their ability to be dynamically modified to be adapted at run-time to the current environment. This feature, that makes it possible to change the functionality of a system while it is up and running, requires a software application that is able to handle the reconfiguration process. The software for the management of reconfiguration can be developed either as a standalone application, that has to be specifically designed for each given system, or within an operating system, in order to fully exploit both code reuse and code portability. This paper proposes a novel methodology for the design of dynamically reconfigurable systems in which the reconfiguration management is completely assigned to an operating system reconfiguration support. Finally, a prototype implementation is presented, where a standard Linux operating system has been extended with the proposed operating system support in order to handle dynamically reconfigurable hardware resources.

In this paper we develop a novel technique, called MULTIVIEW, which enables implementation of page-based fine-grain DSMs. We show how the traditional techniques for implementing page-based DSMs can be extended to control the sharing granularity in a flexible way, even when the size of the sharing unit varies, and is smaller than the operating system's page size. The run-time overhead imposed in the proposed technique is negligible. We present a DSM system, called MILLIPAGE, which builds upon MULTIVIEW in order to support sharing in variable-size units. MILLIPAGE efficiently implements Sequential Consistency and shows comparable (sometimes superior) performance to related systems which use relaxed consistency models. It uses standard user-level operating system API and requires no compiler intervention, page twinning, diffs, code instrumentation, or sophisticated protocols. The resulting system is a thin software layer consisting mainly of a simple, clean protocol that handles page-faults.

In this paper, we propose a new security architecture for adapting multiple access control models to operating systems. As adding a virtual access control system to a proposed security architecture, various access control models such as MAC, DAC, and RBAC are applied to secure operating systems easily. Also, the proposed was designed to overcome the deficiencies of access control in standard operating systems, makes secure OS more available by combining access control models, and apply them to secure OS in runtime.KeywordsAccess ControlControl MessageRequest MessageKernel ModuleAccess Control PolicyThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Securing Smart Cities using LSTM algorithm and lightweight containers against botnet attacks

The Automotive Open Systems Architecture (AUTOSAR) operating system specification defines a series of abstract standard interfaces for automotive embedded operating systems and their related services. The traditional conformance test case design method suffers from high redundancy and poor reusability. This study designs a conformance testing method for AUTOSAR operating systems based on decision tables. The decision table is a symbolic means to express the logical interdependence of events, which can list the complex logical relationships and multiple condition combination cases in detail. Through the conformance testing experiments on the task management module of AUTOSAR standard operating system, the method eliminates 8 redundant test cases compared with the traditional method, and the test cases generated by the decision table method corresponding to the conformance class level are also reusable, reducing the testing effort by 16.3%.

NOTE: The first page of text has been automatically extracted and included below in lieu of an abstract Using Programming Projects in an Operating Systems Course as a Capstone Software Engineering Experience Computer Engineering Technology students at the University of Dayton take two fundamental programming courses teaching the basics of algorithmic problem solving along with the VBA and C++ syntaxes. These courses develop a strong programming foundation for the students; however, they lack the ability to introduce software programming within larger software systems. The final course related to software development is a required operating systems course. This course contains three fundamental goals: to develop the students’ understanding of key operating system concepts, to increase the students’ software engineering capabilities, and to introduce the students to the internal workings of the Linux and Windows operating systems. The operating systems course relies heavily on software programming exercises as a key instrument in teaching students the framework and applications of modern operating systems. The unique aspect of this approach is that the programming projects are designed not as standalone activities, but instead as individual components of a larger software system. Therefore, each programming project focuses not just on learning new syntax related to operating system concepts, but also in how these concepts are relevant to the software system being developed. Students develop programs for both the Microsoft Windows and Linux operating systems, working heavily with their associated application programming interfaces and investigating processes, threads, synchronization, input and output, and scheduling issues. A complete course overview and synopsis of the software programming projects will be presented along with student performance and comments from an end of the semester survey. Introduction The Computer Engineering Technology (CET) Program at the University of Dayton (UD) was started in 1999 and included two software programming courses. These courses predominately focused on teaching the fundamentals of software programming and the syntax associated with the VBA and C++ languages. Likewise, to satisfy the ABET outcome requirements for computer engineering technology programs, the ETC Program at UD also required a new 3 credit lecture course entitled “Concepts & Applications of Operating Systems” to be taken during the students’ Junior year of study.1 This course was structured to provide students hands-on exposure to the internal workings of modern operating systems. During the 2004/2005 academic year, the material being taught in the software programming was evaluated. In accordance with the Computing Curricula 2001 (CC2001) report by the Computer Society of the Institute for Electrical and Electronic Engineers (IEEE-CS) and the Association for Computing Machinery (ACM), the two software programming courses being taught fell within the traditional imperative-first approach. This approach starts students off with software programming activities without any real preparations.2 After careful review, it was found that the student population being served needed to be taught the algorithmic thought process prior to the syntax as many of the students had no prior exposure to software programming and were struggling more with defining the problem solutions than with the specific syntax being taught.3 A modified algorithms-first approach from CC2001 report was applied to these courses. Instead

For the construction of new generation of smart substation, and provide technical support for the core equipment's quality control, operational maintenance and test, technical standards for the integrated disconnecting circuit breaker are established. The standard system includes a community standard and five enterprise standards. The whole process standardization of the item, method, criterion and implementation of integrated disconnecting circuit breaker is realized, providing a standard basis for its handover debugging, operation, test, evaluation and maintenance. The standard system ensures a stable application of the integrated disconnecting circuit breaker.

Mobile phones are increasingly used in the e-health domain. In this context, enabling secure access to health records from mobile devices is of particular importance because of the high security and privacy requirements for sensitive medical data. Standard operating systems and software, as they are deployed on current smartphones, cannot protect sensitive data appropriately, even though modern mobile hardware platforms often provide dedicated security features. Current mobile phones are prone to attacks by malicious software, which might gain unauthorized access to sensitive medical data.In this paper, we present a security architecture for the protection of electronic health records and authentication credentials that are used to access e-health services. Our architecture is derived from a generic solution and tailored specifically to current mobile platforms with hardware security extensions. Authentication data are protected by a trusted wallet (TruWallet), which leverages trusted hardware features of the phone and isolated application environments provided by a secure operating system. A separate application environment is used to provide runtime protection of medical data. Furthermore, we present a prototype implementation of TruWallet on the Nokia N900 mobile phone. In contrast to commodity systems, our architecture enables healthcare professionals to securely access medical data on their mobile devices without the risk of disclosing sensitive information.KeywordsMobile PhoneElectronic Health RecordPersonal Health RecordTrusted Platform ModuleVirtual Private NetworkThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

This study aims to determine the importance of management science and company operational standardization that is applied, to know a good and correct company development strategy in accordance with operational standards of company development strategy at UD. AQMARINA. This type of research is descriptive research with a qualitative approach where the data obtained from a UD. AQMARINA in the form of observation, interviews and literature study. The data used is primary data, where the data is processed from interview data of company owners and publications. The results of this study state that the importance of management knowledge and company operational standards for strategy development is very necessary, this is because the process of organizing something is done by a group of people ororganizationto achieve these goals by working together to utilize the available resources by developing strategies. The standardization of company operations that is applied to this company is very standard, therefore it is necessary to have guidelines on the company's operational system so that it can run the company optimally. A good and correct company development strategy according to operational standards, this is done to get quality human resources with skills, work abilities, and job loyalty to a company or organization. The company's development strategy is not only skill development but also products produced in the form of product variants which are of course creative and innovative.

Protecting commodity operating systems against software exploits is known to be challenging, because of their sheer size. The same goes for key software applications such as web browsers or mail clients. As a consequence, a significant fraction of internet-connected computers is infected with malware.To mitigate this threat, we propose a combined approach of (1) a run-time security architecture that can efficiently protect fine-grained software modules executing on a standard operating system, and (2) a compiler that compiles standard C source code modules to such protected binary modules.The offered security guarantees are significant: relying on a TCB of only a few thousand lines of code, we show that the power of arbitrary kernel-level or process-level malware is reduced to interacting with the module through the module's public API. With a proper API design and implementation, modules are fully protected.The run-time architecture can be loaded on demand and only incurs performance overhead when it is loaded. Benchmarks show that, once loaded, it incurs a 3.22% system-wide performance cost. For applications that make intensive use of protected modules, and hence benefit most of the security guarantees provided, the performance cost is up to 14%.

Operating system is a compulsory subject students STMIK Indonesia Padang. This course describes computer's operating system for control and management of hardware and computer software. Computer operating system is located on the first layer of hard disk drive. When computer is turned on, software first work is operating system and other new applications are processed. The results of observations on STMIK Indonesia Padang, 30% of students have not been able to understand the subject of Operating System. Instructional media should be formulated so that material is easy to understand. The computer as a learning tool Operating System can be made interactive learning media applications. Many interactive CD Operating System in circulation, only contains general material and do not develop subject of discussion. Research objective of designing learning media Operating System using Macromedia Flash, which can be used as ingredients in learning process for students. The subjects were students STMIK Indonesia Padang subjects Operating Systems.

Interactive Television is fast becoming a necessity as it converges the popular web browsing and the standard television systems better. This paper discusses the underlying system - Operating system and Java Runtime Environment - for the Digital TV. A review of the needed system capabilities for Digital TV, a probable solution of the underlying system, and future improvisation of the system are dealt herewith.