Process-Algebraic Interpretation of AADL Models

Simple item page
dc.contributor.authorSokolsky, Oleg
dc.contributor.authorLee, Insup
dc.contributor.authorSokolsky, Oleg
dc.contributor.authorLee, Insup
dc.contributor.authorClarke, Duncan
dc.date2023-05-17T03:02:21.000
dc.date.accessioned2023-05-22T12:48:18Z
dc.date.available2023-05-22T12:48:18Z
dc.date.issued2009-06-08
dc.date.submitted2009-07-21T17:18:27-07:00
dc.description.abstractWe present a toolset for the behavioral verification and validation of architectural models of embedded systems expressed in the language AADL. The toolset provides simulation and timing analysis of AADL models. Underlying both tools is a process-algebraic implementation of AADL semantics. The common implementation of the semantics ensures consistency in the analysis results between the tools.
dc.description.comments14th International Conference on Reliable Software Technologies (Ada-Europe 2009), Brest, France, June 8-12, 2009 .
dc.identifier.urihttps://repository.upenn.edu/handle/20.500.14332/6463
dc.legacy.articleid1445
dc.legacy.fields10.1007/978-3-642-01924-1_16
dc.legacy.fulltexturlhttps://repository.upenn.edu/cgi/viewcontent.cgi?article=1445&context=cis_papers&unstamped=1
dc.rightsThe final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-01924-1_16
dc.source.beginpage222
dc.source.endpage236
dc.source.issue414
dc.source.journalDepartmental Papers (CIS)
dc.source.journaltitleLecture Notes in Computer Science: Reliable Software Technologies - Ada-Europe 2009
dc.source.peerreviewedtrue
dc.source.statuspublished
dc.source.volume5570
dc.subject.otherCPS Model-Based Design
dc.subject.otherSoftware Engineering
dc.subject.otherSystems Architecture
dc.titleProcess-Algebraic Interpretation of AADL Models
dc.typePresentation
digcom.contributor.authorisAuthorOfPublication|email:sokolsky@cis.upenn.edu|institution:University of Pennsylvania|Sokolsky, Oleg
digcom.contributor.authorisAuthorOfPublication|email:lee@cis.upenn.edu|institution:University of Pennsylvania|Lee, Insup
digcom.contributor.authorClarke, Duncan
digcom.identifiercis_papers/414
digcom.identifier.contextkey906039
digcom.identifier.submissionpathcis_papers/414
digcom.typeconference
dspace.entity.typePublication
relation.isAuthorOfPublication35e1b18e-15fe-4438-be3b-84593f70a40a
relation.isAuthorOfPublication45a9eed5-3211-4c36-b40d-6394302dfdce
relation.isAuthorOfPublication.latestForDiscovery35e1b18e-15fe-4438-be3b-84593f70a40a
upenn.schoolDepartmentCenterDepartmental Papers (CIS)
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
furness.pdf
Size:
313.43 KB
Format:
Adobe Portable Document Format
Download
Collection
Presentations