Skip to main content
SpringerLink
Log in

Towards a Mobile Code Management Environment for Complex, Real-Time, Distributed Systems

  • Published:
Real-Time Systems Aims and scope Submit manuscript

Abstract

We present a novel mobile code management environment,currently under design and development. Our design employs anopen architecture, suitable for ``plug-and-play'' with COTS andother groups' tools. While we have studied new algorithms, costand objective functions, and other fundamental issues, the maincontribution of this experimental research work is in the environmentitself. It should be noted that networked platforms, such asthe World Wide Web, are inherently not suitable for traditional,predictable real-time applications. Thus, real-time concernsnecessarily need to be blended with others concerns, and thetarget applications, making use of our environment, will toobe a blend of partially hard real-time and partially (or mostly)soft-real- time ones. The prototype environment will thereforesupport performance-based analysis and management focusing notonly on predictability but also on compilation, efficiency, safetyand other tradeoffs. We have selected the Java language and itsbytecode format as a representation for mobile code as well asa language for our implementation.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • The programming language Ada reference manual. 1983. ANSI/MIL-STD-1815A, LNCS 155, Springer-Verlag.

  • Adl-Tabatabai, A.-R., Langdale, G., Lucco, S., and Wahbe, R. Efficient and language-independent mobile programs. PLDI'96, pp. 127-136.

  • Amaro, C., Marlowe, T. J., and Stoyenko, A. D. 1996. An Approach to Constructing complex evolving systems using composition of knowledge domains. 21st IFAC=IFIP Workshop on Real-Time Programming.

  • Auslander, J., Philipose, M., Chambers, C., Eggers, S. J., and Bershad, B. N. 1996. Fast, effective dynamic compilation. PLDI'96, pp. 149-159.

  • Acharya, A., Ranganathan, M., and Saltz, J. 1997. Sumatra: A language for resource-aware mobile programs. Mobile Object Systems: Towards the Programmable Internet. Springer-Verlag, Lecture Notes in Computer Science, No. 1222, pp. 111-130

  • Bhatt, D. 1993-96. SPIE, Honeywell Technology Center, Minneapolis, MN, USA.

    Google Scholar 

  • Bharat, K. A., and Cardelli, L. 1995. Migratory applications. Proceedings of the 8th Annual ACM Symposium on User Interface Software and Technology. Pittsburgh, PA (also available as Digital Systems Research Center Research Report 138).

  • Binns, P., and Vestal, S. 1995. Architecture specifications for complex real-time dependable systems. First IEEE International Conference on Engineering of Complex Computer Systems. Ft. Lauderdale, FL, USA, pp. 357-360.

  • Blakeley, C. J., Coburn, J., and Larson, P. 1989. Updated derived relations: Detecting irrelevant and autonomous computable updates. ACM Transactions on Database Systems 14: 369-400.

    Google Scholar 

  • Brodie, L. 1981. Starting Forth. Prentice-Hall.

  • Baldi, M., Gai, S., and Picco, G. P. 1997. Exploiting code mobility in decentralized and flexible network management. Proceedings of the First International Workshop on Mobile Agents. Berlin, Germany.

  • Booch, G., Rumbaugh, J., and Jacobson, I. 1999. The Unified Modeling Language User Guide. Reading, MA: Addison Wesley.

    Google Scholar 

  • Bowen, J. P., and Hinchey, M. G. 1994. Formal methods and safety critical standards. Computer 67-71.

  • Buneman, P., Davidson, S., and Watters, A. 1992. A semantics for Complex objects and approximate queries. Department of Computer Science, University of Pennsylvania, Philadelphia.

    Google Scholar 

  • Callahan, J., and Purtilo, J. 1991. A packaging system for heterogeneous execution environments. IEEE Transactions on Software Engineering 17: 626-635.

    Google Scholar 

  • Carzaniga, A., Picco, G. P., and Vigna, G. 1997. Designing distributed applications with a mobile code paradigm. Proceedings of the 19th International Conference on Software Engineering. Boston, MA.

  • Ciancarini, P., and Rossi, D. 1997. Jada-coordination and communication for Java agents. In Mobile Object Systems: Towards the Programmable Internet. Springer-Verlag, Lecture Notes in Computer Science, no. 1222, pp. 213-228.

  • Duggan, D. 1997. A type-based implementation of a language with distributed scope. In Mobile Object Systems: Towards the Programmable Internet. Springer-Verlag, Lecture Notes in Computer Science, no. 1222, pp. 277-294.

  • Engler, D. R. 1996. VCODE: A retargetable, extensible, very fast dynamic code generation system. PLDI'96, pp. 160-170.

  • Franz, M. 1997. Adaptive compression of syntax trees and iterative dynamic code optimization: Two basic technologies for mobile object systems. In Mobile Object Systems: Towards the Programmable Internet. Springer-Verlag, Lecture Notes in Computer Science, no. 1222, pp. 263-276.

  • Farmer, W. M., Guttman, J. D., and Swarup, V. 1996. Security for mobile agents: Authentication and state appraisal. Proceedings of the Fourth European Symposium on Research in Computer Security. Rome, Italy, Springer-Verlag Lecture Notes in Computer Science, no. 1146, pp. 118-130.

  • Farrow, R., Marlowe, T. J., and Yellin, D. M. 1992. Composable attribute grammars: Support for modularity in translator design. ACM 1992 Principles of Programming Languages, pp. 223-234.

  • Gosling, J. 1995. Java intermediate bytecodes. ACM Workshop on Intermeidate Representation, pp. 111-118.

  • Gray, R. S. 1996. Agent Tcl: A flexible and secure mobile agent system. Proceedings of the Fourth Annual Tcl/Tk Workshop. Monterey, CA, pp. 9-23.

  • Gibson, P. A., and Stoyenko, A. D. 1992. Development and integration of a concurrently executing interactive user interface for the I-STAT portable clinical analyzer: A case study in real-time systems integration. J. Sys. Integration 2(4): 349-388.

    Google Scholar 

  • Glagowski, T. G., and Jones, K. L. 1995. A new method for implementing fuzzy retrieval from a spatial database. School of Electrical Engineering and Computer Science, Washington State U., Pullman, WA, submitted to Information Sciences.

  • Ghezzi, C., and Vigna, G. 1997. Mobile code paradigms and technologies: A case study. Proceedings of the First International Workshop on Mobile Agents. Berlin, Germany.

  • Halang, W. A., and Stoyenko, A. D. 1991. Constructing Predictable Real-Time Systems. Kluwer Academic Publishers, with a preface by Konrad Zuse.

  • Harelick, M. S., Marlowe, T. J., Stoyenko, A. D., and Sinha, P. 1995. A constraint function classification for complex systems development. 1995 Complex Systems Engineering and Assessment Technology Workshop. Ft. Lauderdale, FL.

  • Hinchey, M. G., and Bowen, J. P. (Eds.) 1995. Applications of Formal Methods. Prentice Hall International Series in Computer Science, Hemel Hempstead, with a foreword by C.A.R. Hoare.

  • Hoang, N. D. 1991. The essential views of systems development. Proceedings of 1991 Systems Design Synthesis Technology Workshop. Naval Surface Warfare Center, Silver Spring, Maryland, pp. 3-9.

  • Hoover, J. 1992. Alphonse: Incremental computation as a programming abstraction. Proceedings of the ACM

  • Houstis, C. E. 1990. Module allocation of real-time applications to distributed systems. IEEE Transactions on Software Engineering 16(7): 699-709.

    Google Scholar 

  • Stoyen, A. D., Marlowe, T. J., and Petrov, P. 1996. Heterogeneous debugger-monitor-corrector, working report.

  • Jones, N. D., Gomard, C. K., and Sestoft, P. 1993. Partial Evaluation and Automatic Program Generation. Prentice-Hall.

  • Kligerman, E., and Stoyenko, A. D. 1986. Real-time Euclid: A language for reliable real-time systems. IEEE Transactions on Software Engineering 12(9): 941-949.

    Google Scholar 

  • Laplante, P. A., Marlowe, T. J., and Stoyenko, A. D. 1996. Language mechanisms for real-time image processing. Control Engineering Practice.

  • Levi, S.-T., Mosse, D., and Agrawala, A. K. 1988. Allocation of real-time computations under fault tolerance constraints. Proceedings of the IEEE 1988 Real-Time Systems Symposium, pp. 161-170.

  • Lewis, B. T., Deutsch, L. P., and Goldstein, T. G. 1995. Clarity Mcode: A retargetable intermediate representation for compilation. ACM Intermediate Representation Workshop, pp. 119-128.

  • Liu, Y. A., and Teitelbaum, T. 1995. Caching intermediate results for program improvement. Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, pp. 190-201.

  • Lo, V. M. 1988. Algorithms for task assignment in distributed systems. IEEE Trans. Computers 37(11): 1385-1397.

    Google Scholar 

  • Marlowe, T. J., and Ryder, B. G. 1990. An efficient hybrid algorithm for incremental data flow analysis. 17th Annual ACM Symposium on the Principles of Programming Languages, pp. 184-196.

  • Marlowe, T. J., Stoyenko, A. D., Masticola, S. P., and Welch, L. R. 1994. Schedulability-analyzable exception handling for fault-tolerant real-time languages. Real-Time Systems 7(2): 183-212.

    Google Scholar 

  • Marlowe, T. J., Stoyenko, A. D., Laplante, P., Daita, R. S., Amaro, C. C., Nguyen, C. M., and Howell, S. L. 1996. Multi-goal objective functions for optimization of task assignment. Control Engineering Practice. MPI-2: Extensions to the message-passing interface. 1996. MPI Forum.

  • Marlowe, T., and Ryder, B. 1991. Properties of data flow frameworks: A unified model. Acta Informatica 28(2): 121-164.

    Google Scholar 

  • Marlowe, T. J., Stoyenko, A. D., Welch, L. R., Laplante, P., and Masticola, S. P. 1993. Incremental analysis for reuse and change in a software development environment for hard-real-time systems. IEEE RTOS.

  • Masticola, S. P., Marlowe, T. J., and Ryder, B. G. 1995. Multisource data flow problems. ACM Transactions on Programming Languages and Systems (5): 777-803.

    Google Scholar 

  • Prastowo, B. 1995. Derivation of incremental Datalog programs, Ph.D. Thesis, Queens University, Department of Computer Science, Kingston, Ontario. Real-Time Computing Lab at NJIT, 1993-1996. A hierarchy and general equational form for cost and objective functions for complex real-time systems, an ongoing report.

  • Reps, T. 1988. Generating Language-Based Environments. ACM Distinguished Dissertation, MIT Press.

  • Shenoi, S., Melton, A., and Fan, L. T. 1992. Functional dependencies and normal forms in the fuzzy relational database model. Information Sciences 60: 1-28.

    Google Scholar 

  • Silberman, A., and Marlowe, T. J. 1996. A task graph model for design and implementation of real-time systems, to appear in Second IEEE International Conference on Engineering of Complex Computer Systems. Montreal, Canada.

  • Sreedhar, V. C., Gao, G. R., and Lee, Y.-F. 1995. A new approach to exhaustive and incremental data flow analysis using DJ graphs/ McGill University Technical Report ACAPS Memo 95.

  • Stone, H. S. 1977. Multiprocessor scheduling with the aid of network flow algorithms. IEEE Transactions on Software Engineering SE-3(1): 85-93.

    Google Scholar 

  • Stoyen, A. D., Petrov, P., Marlowe, T. J., and Chiara, J. J. 1996 and 1997. A system synthesis tool for complex, embedded real-time systems, progress reports, DARPA SBIR 962-059, 21st Century Systems, Inc.

  • Stoyenko, A. D. 1987. A real-time language with a schedulability analyzer. Ph.D. Dissertation, Department of Computer Science, University of Toronto.

  • Stoyenko, A. D., Marlowe, T. J., and Laplante, P. A. 1996. A description language for engineering of complex real-time systems. J. Real-Time Systems.

  • Stoyenko, A. D., Marlowe, T. J., and Younis, M. F. 1995. A language for complex real-time systems. Computer Journal 38(5).

  • Stoyenko, A. D., Laplante, P. A., Harrison, R., and Marlowe, T. J. 1994. Engineering of complex systems: A case for dual use and defense technology conversion. IEEE Spectrum 31(11): 32-39.

    Google Scholar 

  • Stoyenko, A. D., and Baker, T. 1994. Real-time schedulability-analyzable mechanisms in Ada9X. Proceedings of the IEEE.

  • Stoyenko, A. D., Welch, L. R., Laplante, P. A., Marlowe, T. J., Amaro, C., Cheng, B.-C., Ganesh, A. K., Harelick, M., Jin, X., Younis, M., and Yu, G. 1993. A platform for complex real-time applications. 1993 Complex Systems Engineering and Assessment Technology Workshop. Beltsville, Maryland, USA.

  • Stoyenko, A. D. 1991. General model and mechanisms for heterogeneous model-level RPC interoperability. IEEE 1991 Symposium on Parallel and Distributed Processing. Dallas, Texas, USA, pp. 668-675.

  • Stoyenko, A. D. 1994. SUPRA-RPC: SUBprogram PaRAmeters in remote procedure calls. Software-Practice and Experience 24(1): 27-49, earlier version in IEEE SPDP'90.

    Google Scholar 

  • Stoyenko, A. D., and Halang, W. A. 1993. High-integrity PEARL:Alanguage for industrial real-time applications. IEEE Software 10(4): 65-74.

    Google Scholar 

  • Stoyenko, A. D., Marlowe, T. J., Halang, W. A., and Younis, M. 1993. Enabling efficient schedulability analysis through conditional linking and program transformations. Control Engineering Practice 1(1): 85-105.

    Google Scholar 

  • Stoyenko, A. D., Marlowe, T. J., Cheng, B.-C., and Ganesh, A. Performance prediction functions for real-time software components. In consideration for IEEE Transactions on Parallel and Distributed Systems.

  • Stoyenko, A. D., and Marlowe, T. J. 1992. Polynomial-time transformations and schedulability analysis of parallel real-time programs with restricted resource contention. J. Real-Time Systems 4(4): 307-329.

    Google Scholar 

  • Stoyenko, A. D., Hamacher, V. C., and Holt, R. C. 1991. Analyzing hard-real-time programs for guaranteed schedulability. IEEE Transactions on Software Engineering 17(8): 737-750.

    Google Scholar 

  • Stoyenko, A. D., Marlowe, T. J., Younis, M. F., and Petrov, P. 1997. A language support environment for complex distributed real-time applications. In Proceedings of the Third IEEE International Conference on Engineering of Complex Computer Systems, extended version invited and submitted to IEEE Transactions on Software Engineering, IEEE Computer Society Press.

  • Stoyen, A. D., and Laplante, P. A. (Eds.) 1995. Engineering of Complex Computer Systems: Fundamentals, Techniques & Applications. IEEE Press.

  • Stoyenko, A. D., Bosch, J., Aksit, M., and Marlowe, T. J. 1996. Load balanced mapping of distributed objects to minimize network communication. J. Parallel and Distributed Processing 34(2): 117-137.

    Google Scholar 

  • Stoyenko, A. D. 1992. Evolution and state-of-the-art of real-time languages. J. Systems and Software 18: 61-84.

    Google Scholar 

  • Stoyenko, A. D., and Georgiadis, L. 1992. On optimal lateness and tardiness scheduling in real-time systems. Computing 47: 215-234.

    Google Scholar 

  • Strom, R., and Yemini, S. 1986. Typestate: A programming language concept for enhancing software reliability. IEEE Trans. on Software Engineering 12: 157-171.

    Google Scholar 

  • Trivedi, K. S., Sahner, R., and Puliafito, A. 1995. Performance and Reliability Analysis of Computer Systems An Example-Based Approach Using the SHARPE Software Package. Kluwer Academic Publishers.

  • Wei, Y.-H., Stoyenko, A. D., and Goldszmidt, G. S. 1991. The design of a stub generator for heterogeneous RPC systems. J. Parallel and Distributed Computing 11: 188-197.

    Google Scholar 

  • Yellin, D. M. 1993. Speeding up dynamic transitive closure for bounded degree graphs. Acta Informatica 30: 369-384.

    Google Scholar 

  • Yellin, D. M., and Strom, R. E. 1991. INC: A language for incremental computations. ACM Transactions on Programming Languages and Systems 13(2): 211-236.

    Google Scholar 

  • Younis, M. F., Marlowe, T. J., and Stoyenko, A. D. 1994. Compiler transformations for speculative execution in a real-time system. IEEE 1994 Real-Time Systems Symposium. San Juan, Puerto Rico.

  • Younis, M. F., Tsai, G., Marlowe, T. J., and Stoyenko, A. D. 1995. Formal verification for speculative execution in real-time systems. First IEEE International Conference on Engineering of Complex Computer Systems.

Download references

Author information

Authors and Affiliations

  1. University of Nebraska at Omaha, USA

    Alexander D. Stoyen

  2. 21st Century Systems, Inc., USA

    Plamen V. Petrov

Authors
  1. Alexander D. Stoyen
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Plamen V. Petrov
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Stoyen, A.D., Petrov, P.V. Towards a Mobile Code Management Environment for Complex, Real-Time, Distributed Systems. Real-Time Systems 21, 165–189 (2001). https://doi.org/10.1023/A:1011151522310

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1011151522310

Search

Navigation