Formal Foundations for the Generation of Heterogeneous Executable Specifications in SystemC from UML/MARTE Models

QR Code

Formal Foundations for the Generation of Heterogeneous Executable Specifications in SystemC from UML/MARTE Models

None

Saved in:

Bibliographic Details
Main Authors:	Peñil, Pablo, Herrera, Fernando, Villar, Eugenio
Format:	Electronic Book Chapter
Language:	English
Published:	IntechOpen 2012
Subjects:	Physical Sciences, Engineering and Technology
Online Access:	https://www.intechopen.com/chapters/29211
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Designing Electronic Systems Using SystemC and SystemC–AMS
by: V. A. Alekhin
Published: (2020-08-01)

Automatic Data Race Error Detection in SystemC Models
by: A. V. Zakharov, et al.
Published: (2011-12-01)

Specification and Validation of Real-Time Systems Using UML Sequence Diagrams
by: Huzar, Zbigniew, et al.
Published: (2012)

Helminthofauna of the pine marten (<i>Martes martes</i>) in Central Russia
by: O. A. Panova, et al.
Published: (2025-06-01)

UML Profile to Model Accessible Web Pages
by: Karla Ordonez-Briceno, et al.
Published: (2024-01-01)

Pine marten’s (Martes Martes L.) biotopical and station selectivity in Samarskaya oblast
by: E. J. Vladimirova
Published: (2015-02-01)

A Methodology for Scheduling Analysis Based on UML Development Models
by: Hagner, Matthias, et al.
Published: (2012)

Artificial Intelligence: in Search for Formalization of Ethical Foundations
by: R. I. Mamina, et al.
Published: (2022-12-01)

Development of Multi-Agent Control Systems using UML/SysML
by: Antonova, Iskra, et al.
Published: (2011)

Towards Extending UML's Activity Diagram for the Architectural Modeling, Analysis, and Implementation
by: Mehmet Alp Kose, et al.
Published: (2020-09-01)

Formal specification and software development /
by: Bjorner, D. (Dines), 1937-
Published: (1982)

THE UNFAVORABLE EPIZOOTIC SITUATION ON NEMATODE INFESTATION OF POPULATIONS OF THE SABLE MARTES ZIBELLINA AND THE PINE MARTEN M. MARTES IN WESTERN SIBERIA
by: O. N. Zhigileva, et al.
Published: (2016-12-01)

Bartolomé Yun Casalilla, Marte contra Minerva
by: Jean-Pierre Dedieu
Published: (2004-11-01)

Nursing Business Modeling with UML: From Time and Motion Study to Business Modeling
by: Shimizu, Sachiko, et al.
Published: (2011)

A Student-Centric Evaluation Survey to Explore the Impact of LLMs on UML Modeling
by: Bilal Al-Ahmad, et al.
Published: (2025-07-01)

Pemodelan Use Case (UML): Evaluasi Terhadap beberapa Kesalahan dalam Praktik
by: Tri Astoto Kurniawan
Published: (2018-03-01)

SW Annotation Techniques and RTOS Modelling for Native Simulation of Heterogeneous Embedded Systems
by: Posadas, Héctor, et al.
Published: (2012)

Formal specification of programming languages a panoramic primer
by: Pagan, Frank G.
Published: (1981)

Characteristic and comparison of UML, BPMN and EPC based on process models of a training company
by: Marcin Nizioł, et al.
Published: (2021-09-01)

Teaching Formal Models of Concurrency Specification and Analysis
by: N. V. Shilov
Published: (2015-12-01)

An introduction to discrete mathematics and formal system specification /
by: Ince, D. C.
Published: (1989)

HEAVINESS OF HAIR PIGMENTATION AND REPRODUCTIVITY IN SABLES (MARTES ZIBELLINA L.)
by: S. N. Kashtanov, et al.
Published: (2015-01-01)

Defensive response to humans in farm-bred sables (Martes zibellina)
by: E. G. Sergeev
Published: (2015-07-01)

The Formalism and Language Tools for Semantics Speciﬁcation of Software Libraries
by: V. M. Itsykson
Published: (2016-12-01)

CONSTITUTIONAL FOUNDATIONS OF THE EXECUTION OF THE ECtHR JUDGMENTS IN THE LEGAL SYSTEM OF THE RUSSIAN FEDERATION
by: K. Aranovskiy, et al.
Published: (2017-03-01)

Archaeological Collection of the Tankeevka Burial Ground from the MART Collection: experience of museum systematization
by: Vyacheslav S. Baranov, et al.
Published: (2025-04-01)

Verifying the Safety of Formal Specification Using Fault Tree Analysis and Animation
by: Wen Jiang, et al.
Published: (2025-01-01)

A formal method to detect possible P4 specific errors
by: Gabriella Tóth, et al.
Published: (2019-09-01)

TRUST IN LAW «AS A CULTURAL PHILOSOPHICAL PROBLEM: THE QUESTION OF THE SOURCES AND FOUNDATIONS OF FORMAL SOCIAL REGULATORS
by: V. R. Legoyda
Published: (2017-12-01)

Executive image /Maria C.Bottomley.
by: Bottomley, Maria (Maria Christina, 1945-
Published: (1988)

Test data generation based on a formal analysis of the project conguration
by: A. V. Bataev, et al.
Published: (2010-12-01)

Influence of the biologically active dietary supplement Floravit® on the skin and hair structure in sable (Martes zibellina)
by: N. N. Loenko, et al.
Published: (2018-04-01)

Loving “Mapple Store” but Hating “Sprawl-Mart”: A Case Study of Brand Parodies in The Simpsons
by: Fei Qiao, et al.
Published: (2016-05-01)

Acarofauna em açaizeiro (Euterpe oleracea Mart.) conduzido em diferentes sistemas de cultivo
by: Rodrigo Aguiar Rodrigues, et al.
Published: (2016-10-01)

Using Continuous Flight Auger Pile Execution Energy to Enhance Reliability and Reduce Costs in Foundation Construction
by: Darym Júnior Ferrari de Campos, et al.
Published: (2025-06-01)

The formal demography of kinship VII: Lifetime kin overlap within and across generations
by: Hal Caswell, et al.
Published: (2025-07-01)

Plant Production from in vitro Culture of Isolated Zygotic Embryos of Butia yatay (Mart.) Becc. (Arecaceae)
by: Flachsland Eduardo A., et al.
Published: (2025-06-01)

Characterization of the Aqueous Phase from Pyrolysis of Açaí Seeds and Fibers (<i>Euterpe oleracea</i> Mart.)
by: Erick Monteiro de Sousa, et al.
Published: (2025-07-01)

Formal agricultural credit in Papua New Guinea : an analysis of supply and demand /
by: Fernando, Nimal A.
Published: (1990)

The Integration of Formal and Non-formal Education: The Dutch"brede school"
by: Manuela du Bois-Reymond
Published: (2009-12-01)