Abstract
The long-term objective of our Eunice Project is to identify and develop an integrated environment for Computer-Aided Control System Development, or CACSD. The most salient feature of the project is that all the development lifecycle, from specification to implementation, is to be supported by a single language, Eunice.
This paper discusses the features required of Eunice: early executability by abstract descriptions, refinement mechanism, mixture of discrete models and continuous models, combination of simulation and execution, prespecified adaptive components, support for development aspects that are not directly related to control, extension mechanism for multi-paradigm support, etc.
This paper also states the current status of the project.
Chapter PDF
Similar content being viewed by others
Keywords
References
Andersson, M., Mattsson, S. E. and Nilsson, B. (1992), On the architecture of CACE environments, in H. A. Baker, ed., ‘Computer Aided Design in Control Systems’, IFAC Workshop Series, International Federation of Automatic Control, Pergamon Press, pp. 41–46. Selected Papers from the IFAC Symposium, Swansea, UK, 15–17 July 1991.
Arano, T., Chang, C. K., Aono, H. and Fujisaki, T. (1993), A new simulation technique in prototyping development, in ‘Proceedings of Summer Computer Simulation Conference (SCSC) ’93’, pp. 990–995.
Arano, T., Chang, C. K., Mongkolwat, P., Liu, Y. and Shu, X. (1993), An object-oriented prototyping approach to system development, in ‘Proceedings of the Seventeenth Annual International Computer Software & Applications Conference (COMPSAC 93)’, IEFE Computer Society Press, pp. 56–62. November 1–5, 1993, Phoenix, Arizona, USA.
Barker, H. A., Chen, M., Grant, P. W., Jobling, C. P. and Towensend, P. (1993), ‘Open architecture for computer-aided control engineering’, IEEE Control Systems 13(2), 17–27. Special Issue on Computer-Aided Control Systems Design.
Barton, P. I. and Pantelides, C. C. (1994), ‘The modelling of combined discrete/continuous processes’, AIChE (American Institute of Chemical Engineers) Journal 40(6), 966–979.
Imamura, S. (1992), FDL: A constraint based object oriented language for functional design, in G. J. Oiling and F. Kimura, eds, ‘Human Aspects in Computer Integrated Manufacturing’, IFIP Transactions B: Applications in Technology, North-Holland, pp. 227–236. Proceedings of the IFIP TC5/WG 5.3 Eight International PROLAMAT Conference, Man in CIM, Tokyo, Japan, 24–26 June 1992.
ISO TC184/SC4/WG PMAG (1992), STIEP part 1: Overview and fundamental principles, ISO CD 10303–1, International Standard Organization. Owner: Howard Mason/John Rumble.
ISO TC184/SC4/WG5 (1991), EXPRESS language reference manual, Document N. 5, International Standard Organization. Release Draft. ISO 10303–11. Owner: Philip Spiby.
Kawata, Y., Kobayashi, H., Yabu, A., Onogawa, K., Kawasaki, A. and Maekawa, M. (1994), Eunice/ITRON: A control system development environment for ITRON machines, in ‘Proceedings of the 11th TRON Project International Symposium’, IEEE Society Press, pp. 91–105. December 7–10, 1994, Tokyo, Japan.
Kawata, Y., Onogawa, K., Yabu, A., Maekawa, M., Kawasaki, A. and Kobayashi, H. (1994), ‘EVE: A graphical specification environment’, Submitted to the Transactions of the Institute of Electronics, Information and Communication Engineers. In Japanese.
Kawata, Y., Yabu, A., Kobayashi, H., Onogawa, K., Kawase, T., Kozuka, H. and Maekawa, M. (1994), Eunice adaptive components: Modeling external objects in control systems for better construction and validation of specifications, in C. Mingins and B. Meyer, eds, ‘Technology of Object-Oriented Languages and Systems TOOLS 15’, Prentice-Hall, pp. 45–55. Proceedings of the fifteenth International Conference TOOLS Pacific 94, Melbourne, Australia, November 28-December 1, 1994.
Kettenis, D. L. (1992), ‘COSMOS: A simulation language for continuous, discrete and combined models’, Simulation 58 (1), 32–41.
Nayak, P. P., Joskowicz, L. and Addanki, S. (1992), Context-dependent behaviors: A preliminary report, in D.C. Brown, M. B. Waldron and H. Yoshikawa, eds, ‘Intelligent Computer Aided Design’, IFIP Transactions B: Applications in Technology, North-Holland, pp. 237–250.
NIST ISEE Working Group and the EMCA TC33 Task Group on the Reference Model (1991), Reference model for frameworks of software engineering environments, NIST Special Publication 500–201, NIST (National Institute of Standards and Technology, United States of Commerce). Technical Report ECMA TR/55, 2nd Edition.
Royce, W. W. (1970), Managing the development of large software systems: Concepts and techniques, in ‘Proceedings of the IEEE WESCON’, TWEE Press, pp. 1–9. Los Angeles, CA, USA, August 25–28, 1970. Reprinted in ‘Proceedings of the Ninth International Conference on Software Engineering’, pp. 328–338, IEEE Press, 1987. Monterey, CA, USA, March 30-April 2, 1987.
Schenck, D. A. and Wilson, P. R. (1994), Information Modeling: the EXPRESS Way, Oxford University Press.
Smart, P. J. and Baker, N. J. C. (1984), SYSMOD—an environment for modular simulation, in ‘Proceedings of Summer Computer Simulation Conference’, North-Holland, pp. 72–82.
Swartout, W. and Balzer, R. (1982), ‘On the inevitable intertwining of specification and implementation’, Communications of the ACM 25(7), 438–440.
Zave, P. (1982), ‘An operational approach to requirements specification for embedded systems’, IEEE Transactions on Software Engineering SE-8(3), 250–269.
Zentner, M. G., Elkamel, A., Pekny, J. F. and Reklaitis, G. V. (1994), ‘A language for describing process scheduling problems’, Computers and Chemical Engineering. To appear.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Kawata, Y., Yabu, A., Maekawa, M., Kawase, T., Kozuka, H., Kobayashi, H. (1995). A perspective on a Eunice-based control system development environment. In: Sun, Q., Tang, Z., Zhang, Y. (eds) Computer Applications in Production Engineering. CAPE 1995. IFIP Advances in Information and Communication Technology. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-34879-7_55
Download citation
DOI: https://doi.org/10.1007/978-0-387-34879-7_55
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-5041-2939-8
Online ISBN: 978-0-387-34879-7
eBook Packages: Springer Book Archive