Abstract
In order to minimize the cost of rapid prototyping, SEdit offers the possibility to validate a technical system before its actual realization. For this purpose, the system has to be described logically by a set of axioms (system specification). By means of deduction, it can be proven that the system will show the desired behaviour. For the sake of user acceptance and understandability, SEdit is a graphical, interactive tool that may be regarded as a shell for easily invoking logical proofs. The applicability has been demonstrated at the 1995 MEDLAR review meeting [5].
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
W. Bibel, S. Brüning, U. Egly, and T. Rath. KoMeT. In A. Bundy, editor, Proceedings of the 12th Conference on Automated Deduction (CADE), pages 783–787. Springer LNAI 814, 1994.
G. Große and H. Khalil. State Event Logic. MEDLAR Special Issue of the Bulletin of the Interest Group in Pure and Applied Logics (IGPL), 1995. to appear.
D. Harel. Statecharts: a visual formalism for complex systems. Science of Computer programming, 8:231–274, 1987.
H. J. Ohlbach. Semantics based translation methods for modal logics. Journal of Logic and Computation, 1(5):691–746, 1991.
J. Pfalzgraf, U. Sigmund, V. Sofronie, and K. Stokkermans. Towards a cooperating robot demonstrator. In J. Cunningham and J. Pitt, editors, Periodic Progress Report 3 — Mechanizing Deduction in the Logics of Practical Reasoning (MEDLAR II, ESPRIT Basic Research Project 6471), pages 181–197, 1995.
J. Pfalzgraph, U. Sigmund, and K. Stokkermans. Modeling cooperating agent scenarios by deductive planning methods and logical fiberings. In Proceedings of AISMC-2. Springer LNCS, 1995. in press.
E. Sandner. SEL-Charts, Master's thesis, TH Darmstadt, FG Intellektik, 1995.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Große, G., Herrmann, C.S., Sandner, E. (1996). SEdit — Graphically validating technical systems. In: Gabbay, D.M., Ohlbach, H.J. (eds) Practical Reasoning. FAPR 1996. Lecture Notes in Computer Science, vol 1085. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61313-7_84
Download citation
DOI: https://doi.org/10.1007/3-540-61313-7_84
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61313-8
Online ISBN: 978-3-540-68454-1
eBook Packages: Springer Book Archive