Skip to main content

SEdit — Graphically validating technical systems

  • Conference paper
  • First Online:
Practical Reasoning (FAPR 1996)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1085))

Included in the following conference series:

  • 132 Accesses

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].

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

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. 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.

    Google Scholar 

  2. 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.

    Google Scholar 

  3. D. Harel. Statecharts: a visual formalism for complex systems. Science of Computer programming, 8:231–274, 1987.

    Article  Google Scholar 

  4. H. J. Ohlbach. Semantics based translation methods for modal logics. Journal of Logic and Computation, 1(5):691–746, 1991.

    Google Scholar 

  5. 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.

    Google Scholar 

  6. 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.

    Google Scholar 

  7. E. Sandner. SEL-Charts, Master's thesis, TH Darmstadt, FG Intellektik, 1995.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Dov M. Gabbay Hans Jürgen Ohlbach

Rights and permissions

Reprints 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

Publish with us

Policies and ethics