Analisis Dan Perancangan Sistem Informasi Penjadwalan Dan Manajemen Training Pada Software Laboratory Center Universitas Bina Nusantara

Human resource management is considered as a contemporary development that continues to reshape employees' competence. As one of educational services unit in BINUS UNIVERSITY that specifically provides software-based practical work for students, Software Laboratory Center (SLC) is regularly conducted a training program every term as a part of human resource management. There are two main triggers of the regular training program in SLC. First, the rapid development of software-based knowledge that needs to be learned, filter, and adopted to the curriculum. Second, the high turnover of teaching assistants requires a training program to attain a subject teaching qualification for new assistants and to maintain the competence of the current teaching assistants. Along with university operational timeline, training for teaching assistants are manually managed every term by SLC, from collecting transaction data for next term, calculating the estimation of assistant needed, allocating assistants for training, scheduling the training, until evaluating the competence of assistants. Conventional training management system in SLC causes an issue of time efficiencies, validity of assistants' competence, and risk of human error. Therefore, this paper proposes an analysis and design of scheduling and training management information system with Unified Modeling Language (UML) and data collection. Moreover, we developed a dedicated tool to support the process of training management in SLC

ANALISIS DAN PERANCANGAN SISTEM INFORMASI PENJADWALAN DAN MANAJEMEN TRAINING PADA SOFTWARE LABORATORY CENTER UNIVERSITAS BINA NUSANTARA

Abstract—Human resource management is considered as a contemporary development that continues to reshape employees’ competence. As one of educational services unit in BINUS UNIVERSITY that specifically provides software-based practical work for students, Software Laboratory Center (SLC) is regularly conducted a training program every term as a part of human resource management. There are two main triggers of the regular training program in SLC. First, the rapid development of software-based knowledge that needs to be learned, filter, and adopted to the curriculum. Second, the high turnover of teaching assistants requires a training program to attain a subject teaching qualification for new assistants and to maintain the competence of the current teaching assistants. Along with university operational timeline, training for teaching assistants are manually managed every term by SLC, from collecting transaction data for next term, calculating the estimation of assistant needed, allocating assistants for training, scheduling the training, until evaluating the competence of assistants. Conventional training management system in SLC causes an issue of time efficiencies, validity of assistants’ competence, and risk of human error. Therefore, this paper proposes an analysis and design of scheduling and training management information system with Unified Modeling Language (UML) and data collection. Moreover, we developed a dedicated tool to support the process of training management in SLC. Index Terms—Information System, Scheduling, Training System, Web-Based Application

Doctor of Philosophy

dissertationTrusted computing base (TCB) of a computer system comprises components that must be trusted in order to support its security policy. Research communities have identified the well-known minimal TCB principle, namely, the TCB of a system should be as small as possible, so that it can be thoroughly examined and verified. This dissertation is an experiment showing how small the TCB for an isolation service is based on software fault isolation (SFI) for small multitasking embedded systems. The TCB achieved by this dissertation includes just the formal definitions of isolation properties, instruction semantics, program logic, and a proof assistant, besides hardware. There is not a compiler, an assembler, a verifier, a rewriter, or an operating system in the TCB. To the best of my knowledge, this is the smallest TCB that has ever been shown for guaranteeing nontrivial properties of real binary programs on real hardware. This is accomplished by combining SFI techniques and high-confidence formal verification. An SFI implementation inserts dynamic checks before dangerous operations, and these checks provide necessary invariants needed by the formal verification to prove theorems about the isolation properties of ARM binary programs. The high-confidence assurance of the formal verification comes from two facts. First, the verification is based on an existing realistic semantics of the ARM ISA that is independently developed by Cambridge researchers. Second, the verification is conducted in a higher-order proof assistant-the HOL theorem prover, which mechanically checks every verification step by rigorous logic. In addition, the entire verification process, including both specification generation and verification, is automatic. To support proof automation, a novel program logic has been designed, and an automatic reasoning framework for verifying shallow safety properties has been developed. The program logic integrates Hoare-style reasoning and Floyd's inductive assertion reasoning together in a small set of definitions, which overcomes shortcomings of Hoare logic and facilitates proof automation. All inference rules of the logic are proven based on the instruction semantics and the logic definitions. The framework leverages abstract interpretation to automatically find function specifications required by the program logic. The results of the abstract interpretation are used to construct the function specifications automatically, and the specifications are proven without human interaction by utilizing intermediate theorems generated during the abstract interpretation. All these work in concert to create the very small TCB

ANALISIS DAN PERANCANGAN SISTEM INFORMASI PENJADWALAN DAN MANAJEMEN TRAINING PADA SOFTWARE LABORATORY CENTER UNIVERSITAS BINA NUSANTARA

Human resource management is considered as a contemporary development that continues to reshape employees’ competence. As one of educational services unit in BINUS UNIVERSITY that specifically provides software-based practical work for students, Software Laboratory Center (SLC) is regularly conducted a training program every term as a part of human resource management. There are two main triggers of the regular training program in SLC. First, the rapid development of software-based knowledge that needs to be learned, filter, and adopted to the curriculum. Second, the high turnover of teaching assistants requires a training program to attain a subject teaching qualification for new assistants and to maintain the competence of the current teaching assistants. Along with university operational timeline, training for teaching assistants are manually managed every term by SLC, from collecting transaction data for next term, calculating the estimation of assistant needed, allocating assistants for training, scheduling the training, until evaluating the competence of assistants. Conventional training management system in SLC causes an issue of time efficiencies, validity of assistants’ competence, and risk of human error. Therefore, this paper proposes an analysis and design of scheduling and training management information system with Unified Modeling Language (UML) and data collection. Moreover, we developed a dedicated tool to support the process of training management in SLC. Keywords: Information System, Scheduling, Training System, Web-Based Application