142,672 research outputs found
Formal Model Engineering for Embedded Systems Using Real-Time Maude
This paper motivates why Real-Time Maude should be well suited to provide a
formal semantics and formal analysis capabilities to modeling languages for
embedded systems. One can then use the code generation facilities of the tools
for the modeling languages to automatically synthesize Real-Time Maude
verification models from design models, enabling a formal model engineering
process that combines the convenience of modeling using an informal but
intuitive modeling language with formal verification. We give a brief overview
six fairly different modeling formalisms for which Real-Time Maude has provided
the formal semantics and (possibly) formal analysis. These models include
behavioral subsets of the avionics modeling standard AADL, Ptolemy II
discrete-event models, two EMF-based timed model transformation systems, and a
modeling language for handset software.Comment: In Proceedings AMMSE 2011, arXiv:1106.596
The pre-scientific concept of a "soul": A neurophenomenological hypothesis about its origin.
In this contribution I will argue that our traditional, folk-phenomenological concept of a "soul� may have its origins in accurate and truthful first-person reports about the experiential content of a specific neurophenomenological state-class. This class of phenomenal states is called the "Out-of-body experience� (OBE hereafter), and I will offer a detailed description in section 3 of this paper. The relevant type of conscious experience seems to possess a culturally invariant cluster of functional and phenomenal core properties: it is a specific kind of conscious experience, which can in principle be undergone by every human being. I propose that it probably is one of the most central semantic roots of our everyday, folk-phenomenological idea of what a soul actually is
- …