![]() ![]() ![]() This process is experimental and the keywords may be updated as the learning algorithm improves.Ä«irtwistle, G.M., Dahl, O.-J., Myhrhaug, B., Nygaard, K.: Simula BEGIN. These keywords were added by machine and not by the authors. The utility of JPF in finding logic and timing errors is illustrated, and the remaining challenges in supporting all of RTSJ are assessed. Two examples are analyzed: jobs on a multiprogramming operating system, and a complex resource contention example involving autonomous vehicles crossing an intersection. This paper describes our implementation of an RTSJ profile (subset) in JPF, including requirements, design decisions, and current implementation status. JPF at its core is a state exploring JVM which can examine alternative paths in a Java program (e.g., via backtracking) by trying all nondeterministic choices, including thread scheduling order. The Robust Software Systems group at NASA Ames Research Center has Java PathFinder ( JPF) under development, a Java model checker. The central features of RTSJ are real time threads user defined schedulers asynchronous events, handlers, and control transfers a priority inheritance based default scheduler non-heap memory areas such as immortal and scoped, and non-heap real time threads whose execution is not impeded by garbage collection. The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |