메뉴 건너뛰기




Volumn 18, Issue 4, 2002, Pages 475-486

Constructing reconfigurable software for machine control systems

Author keywords

Controller architecture; Machine control systems; Reconfigurable software; Software models

Indexed keywords

MACHINE TOOL CONTROL SYSTEMS; RECONFIGURABLE SOFTWARE; SOFTWARE MODELS;

EID: 0036703507     PISSN: 1042296X     EISSN: None     Source Type: Journal    
DOI: 10.1109/TRA.2002.802235     Document Type: Article
Times cited : (41)

References (35)
  • 2
    • 28544447269 scopus 로고    scopus 로고
    • A framework for evaluating specification methods for reactive systems: Experience report
    • June
    • M. A. Ardis et al., "A framework for evaluating specification methods for reactive systems: Experience report," IEEE Trans. Software Eng., vol. 22, pp. 378-389, June 1996.
    • (1996) IEEE Trans. Software Eng. , vol.22 , pp. 378-389
    • Ardis, M.A.1
  • 3
    • 0030212472 scopus 로고    scopus 로고
    • A visualization model for concurrent systems
    • Aug.
    • M. Astley and G. A. Agha, "A visualization model for concurrent systems," Inform. Sci., vol. 93, no. 1-2, pp. 107-131, Aug. 1996.
    • (1996) Inform. Sci. , vol.93 , Issue.1-2 , pp. 107-131
    • Astley, M.1    Agha, G.A.2
  • 5
    • 0003950339 scopus 로고    scopus 로고
    • Software modeling for reconfigurable machine tool controllers
    • Ph.D. dissertation, Dept. Elec. Eng. Comp. Sci., Univ. Michigan, Ann Arbor, MI
    • S. Birla, "Software modeling for reconfigurable machine tool controllers," Ph.D. dissertation, Dept. Elec. Eng. Comp. Sci., Univ. Michigan, Ann Arbor, MI, 1997.
    • (1997)
    • Birla, S.1
  • 9
    • 0033221252 scopus 로고    scopus 로고
    • Specification, design and implementation of logic controllers based on colored petri net models and the standard IEC 1131
    • Nov.
    • K. Feldmann et al., "Specification, design and implementation of logic controllers based on colored petri net models and the standard IEC 1131," IEEE Trans. Contr. Syst. Technol., vol. 7, pp. 657-674, Nov. 1999.
    • (1999) IEEE Trans. Contr. Syst. Technol. , vol.7 , pp. 657-674
    • Feldmann, K.1
  • 11
    • 0024016415 scopus 로고    scopus 로고
    • On visual formalisms
    • May
    • D. Harel, "On visual formalisms," Commun. ACM, vol. 31, no. 5, pp. 514-530, May 1998.
    • (1998) Commun. ACM , vol.31 , Issue.5 , pp. 514-530
    • Harel, D.1
  • 13
    • 0011545683 scopus 로고    scopus 로고
    • IEC 61 499-function blocks
    • International Electrotechnical Commission Technical Committee
    • "IEC 61 499-Function Blocks," International Electrotechnical Commission Technical Committee, 1999.
    • (1999)
  • 14
    • 0028750073 scopus 로고
    • Modechart: A specification language for real-time systems
    • Dec.
    • F. Jahanian and A. K. Mok, "Modechart: A specification language for real-time systems," IEEE Trans. Software Eng., vol. 20, pp. 933-947, Dec. 1994.
    • (1994) IEEE Trans. Software Eng. , vol.20 , pp. 933-947
    • Jahanian, F.1    Mok, A.K.2
  • 16
    • 0030242443 scopus 로고    scopus 로고
    • Java for real-time
    • Sept.
    • K. Nilsen, "Java for real-time," Real-Time Syst., vol. 11, no. 2, pp. 197-205, Sept. 1996.
    • (1996) Real-Time Syst. , vol.11 , Issue.2 , pp. 197-205
    • Nilsen, K.1
  • 17
    • 0003839529 scopus 로고    scopus 로고
    • OMAC Working Group; Oct. 12
    • "OMAC API Documentation, Version 0.23," OMAC Working Group, http://www.isd.mel.nist.gov/project/omacapi/Bibliography/omacv023draft.pdf, Oct. 12, 1999.
    • (1999) OMAC API Documentation, Version 0.23
  • 20
    • 0002203915 scopus 로고    scopus 로고
    • Modular system platform for open control systems
    • G. Pritschow and W. Sperling, "Modular system platform for open control systems," Prod. Eng., vol. IV, no. 2, pp. 77-80, 1997.
    • (1997) Prod. Eng. , vol.4 , Issue.2 , pp. 77-80
    • Pritschow, G.1    Sperling, W.2
  • 25
    • 0000474691 scopus 로고    scopus 로고
    • Design of dynamically reconfigurable real-time software using port-based objects
    • Dec.
    • D. B. Stewart, R. A. Volpe, and P. K. Khosla, "Design of dynamically reconfigurable real-time software using port-based objects," IEEE Trans. Software Eng., vol. 23, pp. 759-775, Dec. 1997.
    • (1997) IEEE Trans. Software Eng. , vol.23 , pp. 759-775
    • Stewart, D.B.1    Volpe, R.A.2    Khosla, P.K.3
  • 27
    • 0003456254 scopus 로고    scopus 로고
    • Sun Microsystems, Inc. [Online]
    • (1999) Jini Architectural Overview: Technical White Paper. Sun Microsystems, Inc. [Online]. Available http://www.sun.com/jini/whitepaper/architecture.html
    • (1999) Jini Architectural Overview: Technical White Paper
  • 29
    • 0032163668 scopus 로고    scopus 로고
    • Specification and verification of multimedia synchronization scenarios using time-estelle
    • Sept.
    • T. Tsang and R. Lai, "Specification and verification of multimedia synchronization scenarios using time-estelle," Softw.-Pract. Exp., vol. 28, no. 11, pp. 1185-1211, Sept. 1998.
    • (1998) Softw.-Pract. Exp. , vol.28 , Issue.11 , pp. 1185-1211
    • Tsang, T.1    Lai, R.2
  • 34
    • 0031259286 scopus 로고    scopus 로고
    • Specification matching of software components
    • Oct.
    • A. M. Zaremski and J. M. Wing, "Specification matching of software components," ACM Trans. Softw. Eng. Method., vol. 6, no. 4, pp. 333-369, Oct. 1997.
    • (1997) ACM Trans. Softw. Eng. Method , vol.6 , Issue.4 , pp. 333-369
    • Zaremski, A.M.1    Wing, J.M.2
  • 35
    • 0030384041 scopus 로고    scopus 로고
    • Performance evaluation of modular real-time controllers
    • Atlanta, GA, Nov.
    • L. Zhou et al., "Performance evaluation of modular real-time controllers," in Proc. ASME Dynam. Syst. Contr. Div., DSC, vol. 58, Atlanta, GA, Nov. 1996, pp. 299-306.
    • (1996) Proc. ASME Dynam. Syst. Contr. Div., DSC , vol.58 , pp. 299-306
    • Zhou, L.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.