Documentation/Examples/flatIVVisitor.py

+#! /usr/bin/python
+
+import ocarina
+import taste
+import lmp
+
+def main ():
+	aadlFiles = ['../projects/DemoIV.aadl', '../projects/TASTE-Dataview.aadl', '../projects/TASTE_IV_Properties.aadl', \
+		'../projects/taste_properties.aadl', '../projects/data_model.aadl', '../projects/base_types.aadl', '../projects/deployment.aadl']
+
+	ret = taste.load (aadlFiles, "interfaceview::IV::interfaceview.others")
+	print 'load', ret 
+	
+	print  '\nROOT'
+	iv = taste.getTasteRoot()
+	taste.visitIV(iv, False)
+
+	functionNames = taste.getFunctions (resType = 'names')	
+	print '\nFUNCTIONS', functionNames 
+	
+	functions = taste.getFunctions ()
+	for function in functions:
+		taste.visitFunction(function, 1, False)
+	
+	features = taste.getPIRIs('name')
+	print '\nFEATURES', features
+	 
+	features = taste.getPIRIs()
+	for feature in features:
+		taste.printPIRI(feature, 1)
+	
+	pis = taste.getPIs('name')
+	print '\nPIS', pis
+	
+	pis = taste.getPIs()
+	for pi in pis:
+		taste.printPIRI(pi,1)		
+	
+	ris = taste.getRIs('name')
+	print '\nRIS', ris
+	
+	ris = taste.getRIs()
+	for ri in ris:
+		taste.printPIRI(ri, 1)		
+
+	connections = taste.getConnections(resType = 'name')
+	print '\nCONNECTIONS', connections
+	
+	connections = taste.getConnections()
+	for connection in connections:
+		taste.printConnection(connection, 1)
+	
+if __name__ == "__main__":
+    main ()
+    #~ sys.exit (0);                       # exit

Documentation/Examples/hiercDVVisitor.py

+#! /usr/bin/python
+
+import ocarina
+import taste
+import lmp
+
+def main ():
+	mainAADLFile = 'DemoDV.aadl'
+	aadlFiles = [mainAADLFile, 'TASTE_DV_Properties.aadl', 'DemoIV.aadl', 'TASTE-Dataview.aadl', \
+		'TASTE_IV_Properties.aadl', 'taste_properties.aadl', 'data_model.aadl', 'base_types.aadl', 'deployment.aadl', \
+		'Cheddar_Properties.aadl', 'arinc653.aadl', 'TestLibHW.aadl']
+	
+	ret = taste.load (aadlFiles, "deploymentview::DV::deploymentview.others")
+	print 'load', ret 
+	
+	dv = taste.getTasteRoot()
+	taste.visitDV(dv)
+	 
+if __name__ == "__main__":
+    main ()
+    #~ sys.exit (0);                       # exit

Documentation/Examples/hiercIVVisitor.py

+#! /usr/bin/python
+
+import ocarina
+import taste
+import lmp
+
+def main ():
+	mainAADLFile = 'DemoIV2.aadl'
+	aadlFiles = [mainAADLFile, 'TASTE-Dataview.aadl', 'TASTE_IV_Properties.aadl', 'taste_properties.aadl', 'data_model.aadl', \
+		'base_types.aadl', 'deployment.aadl']
+	
+	ret = taste.load (aadlFiles, "interfaceview::IV::interfaceview.others")
+	print 'load', ret 
+	
+	iv = taste.getTasteRoot()
+	taste.visitIV(iv)
+	 
+if __name__ == "__main__":
+    main ()
+    #~ sys.exit (0);                       # exit

Documentation/Examples/ivDocExample.py

+#! /usr/bin/python
+
+import ocarina
+import lmp
+import taste
+#~ from taste import *
+from pandoc import *
+
+def main ():
+	## load iv files
+	aadlFiles = ['../projects/DemoIV.aadl', '../projects/TASTE-Dataview.aadl', '../projects/TASTE_IV_Properties.aadl', \
+		'../projects/taste_properties.aadl', '../projects/data_model.aadl', '../projects/base_types.aadl', '../projects/deployment.aadl']
+
+	ret = taste.load (aadlFiles, "interfaceview::IV::interfaceview.others")
+	print 'load', ret
+	
+	#~ indent = '\t'
+	indent = ''
+	indent2 = '\t'
+	
+	## start the pandoc document
+	newDocument('Demo IV Documentation ', ['Jerome Legrand'], 'July the 24th 2017')
+	addTOC()
+	
+	newPage()
+	
+	## ROOT
+	iv = taste.getTasteRoot()
+	label = taste.getComponentLabel(iv)
+	headerText = 'IV ' + label
+	header (headerText)
+	
+	comment = taste.getComment (iv)
+	if comment != '':
+		header('Description', 2)
+		
+		comment = removeFormatting(comment)
+		paragraph(comment)
+	
+	## root attributes
+	header('Attributes', 2)
+	text = 'The iv ' + bold(label) + ' has the following attributes : '
+	rawText(text)
+	
+	attributesList = []
+	attributes = taste.getComponentAttributes (iv)
+	for name, value in attributes.items():
+		#~ text += indent + '* ' + name + ' = ' + value + '\n'
+		attributesList.append(italic(name) + ' = ' + value)
+	
+	listBlock (attributesList)
+	
+	## FUNCTIONS
+	newPage()
+	functions = taste.getFunctions()
+	for function in functions:
+		## function header
+		label = taste.getComponentLabel(function)
+		headerText = 'Function ' + label
+		header(headerText)
+		
+		## Description
+		description = taste.getDescription (function)
+		if description != '':
+			header('Description', 2)
+			
+			description = removeFormatting(description)
+			paragraph(description)
+
+		## attributes
+		header('Attributes', 2)
+		text = 'The function ' + bold(label) + ' has the following attributes : '
+		rawText(text)
+	
+		attributesList = []
+		attributes = taste.getComponentAttributes (function)
+		for name, value in attributes.items():
+			attributesList.append(italic(name) + ' = ' + value)
+		
+		listBlock (attributesList)
+
+		## functions CP
+		contParams = taste.getFunctionCP (function)
+		if contParams != []:
+			header('Context Parameters', 2)
+			text = 'The function' + bold(label) + ' has the following context parameters : '
+			rawText(text)
+			
+			contParamList = []
+			for contParam in contParams:
+				cpLabel = taste.getLabel(contParam)
+				contParamList.append(cpLabel)
+				
+			listBlock (attributesList)
+			
+		## PI/RI
+		pis = taste.getFunctionFeatures (function, 'provided')
+		if pis != []:
+			header('Provided Interfaces', 2)
+		
+			text = 'The function ' + bold(label) + ' has the following pis.'
+			rawText(text)
+			addPIRIInfo(pis)
+		
+		ris = taste.getFunctionFeatures (function, 'required')
+		if ris != []:
+			header('Required Interfaces', 2)
+		
+			text = 'The function ' + bold(label) + ' has the following ris.'
+			rawText(text)
+			addPIRIInfo(ris)
+	
+	finalizeDocument()
+	
+	#~ printDocument ()
+
+	#~ serialize ('ivDoc.md')
+	#~ convert('test.latex', 'latex')
+	convert('test.pdf', 'latex')
+
+def addPIRIInfo(features):
+	for feature in features:
+		featureLabel = taste.getFeatureLabel(feature)
+		
+		featureCategory = taste.getCategory(feature)
+		headerText = featureCategory + ' ' + featureLabel
+		header(headerText, 3)
+		
+		description = taste.getDescription (feature)
+		if description != '':
+			#~ header('Description', 3)
+		
+			description = removeFormatting(description)
+			paragraph(description)
+		
+		## attributes
+		text = 'The ' + featureCategory + ' ' + bold(featureLabel) + ' has the following attributes : '
+		rawText(text)
+		
+		attributesList = []
+		attributes = taste.getFeatureAttributes (feature)
+		for name, value in attributes.items():
+			attributesList.append(italic(name) + ' = ' + value)
+		
+		listBlock (attributesList)
+		
+		## parameters
+		parameters = taste.getParameters (feature)
+		if parameters != []:
+			header('Parameters', 4)
+			text = 'The ' + featureCategory + ' ' + bold(featureLabel) + ' has the following parameters : '
+			rawText(text)
+			
+			parameterList = []
+			for parameter in parameters:
+				parameterLabel = taste.getParameterLabel(parameter)
+
+				parameterList.append(parameterLabel)
+				
+				## attributes
+				paramAttList = []
+				attributes = taste.getFeatureAttributes (parameter)
+				for name, value in attributes.items():
+					paramAttList.append(italic(name) + ' = ' + value)
+					
+				## other
+				direction = taste.getDirection(parameter)
+				paramAttList.append(italic('direction') + ' = ' + direction)
+				
+				if paramAttList != []:
+					parameterList.append(paramAttList)
+					
+			listBlock (parameterList)
+	
+if __name__ == "__main__":
+    main ()
+    #~ sys.exit (0);                       # exit

Documentation/Examples/testDoc.py

+#! /usr/bin/python
+
+#~ import pandoc
+from pandoc import *
+
+def main ():
+	newDocument('title\nof the document', ['author1', 'author2'], '25 june\n2017')
+	addTOC()
+	
+	newPage()
+	header ('Test quote Block', 1, '#header1')
+	quoteBlock (['text 1', ['text 2', ['text 3'], 'text 4'], 'text 5'])
+	
+	#~ text ('test header reference [header1]')
+	text ('"blabla"')
+	
+	pageBreak()
+	header ('Test code Block')
+	header ('with string', 2)
+	code1 = 'if (a > 3) { \n     moveShip(5 * gravity, DOWN); \n}'
+	codeBlock (code1)
+	
+	header ('with list', 2)
+	code2 = ['if (a > 3) {', '    moveShip(5 * gravity, DOWN);', '}']
+	codeBlock (code2)
+	
+	header ('fenced with string', 2)
+	codeBlockFenced (code1)
+	
+	newPage()
+	header ('Test line Block')
+	header ('with string', 2)
+	lineBlock1 = 'line 1 \nline 2 \nline 3'
+	lineBlock (lineBlock1)
+
+	header ('with list', 2)
+	lineBlock2 = ['line 1', 'line 2', 'line 3']
+	lineBlock (lineBlock2)
+	
+	newPage()
+	header ('Test list Block')
+	header ('bullet list', 2)
+	 
+	testList1 = ['ab', ['a', ['a', 'b'], 'b', 'c'], 'b', 'c']
+	listBlock(testList1)
+	
+	header ('ordered list', 2)
+	testList2 = ['ab', 'bc', 'cd']
+	orderedlistBlock(testList2)
+	
+	newPage()
+	header ('horizontal rules')
+	horizontalRule ()
+	horizontalRule ('*', 4)
+	horizontalRule ('_', 20)
+	
+	newPage()
+	header ('tables')
+	header ('simple table', 2)
+	header ('with header', 3)
+	table1_1 = [ \
+		[['t1', 'right'],['title2', 'left'],['t3', 'center'], ['t4', 'default']], \
+		['12', '12', '123', '12'], \
+		['123', '123', '1234', '1234'], \
+		['1', '1', '1', '1'] \
+		]
+	
+	table1_2 = [ \
+		[['tt1', 'right', 10],['title2', 'left', 1],['t3', 'center', 10], ['t4', 'default', 40]], \
+		['12', '12', '123', '12'], \
+		['123', '123', '1234', '1234'], \
+		['1', '1', '1', '1'] \
+		]
+	
+	table(table1_1, 'table 1_1 caption')
+	newLine()
+	table(table1_2, 'table 1_2 caption')
+	newLine()
+	
+	
+	header ('without header', 3)
+	table2 = [ \
+		[['', 'right', 10],['', 'left', 5],['', 'center', 2], ['', 'default', 20]], \
+		['12', '12', '123', '12'], \
+		['123', '123', '1234', '1234'], \
+		['1', '1', '1', '1'] \
+		]
+
+	table(table2, 'test', ' ')
+	
+	newPage()
+	header ('multiline table', 2)
+	
+	header ('with header', 3)
+	table3_1 = [ \
+		[['Centered\nHeader', 'center'],['Default\nAligned', 'default'],['Right\nAligned\ntest', 'right'], ['Left\nAligned', 'left']], \
+		['First', 'rowbidule', '12.0', 'Example of a row that\nspans multiple lines.'], \
+		['Second', 'row', '5.0', 'Here\'s another one. Note\nthe blank line between\nrows.'], \
+		]
+	
+	table(table3_1)
+	
+	header ('without header', 3)
+	table3_2 = [ \
+		[['', 'center'],['', 'default'],['', 'right', 20], ['', 'left', 50]], \
+		['First', 'row', '12.0', 'Example of a row that\nspans multiple lines.'], \
+		['Second', 'row', '5.0', 'Here\'s another one. Note\nthe blank line between\nrows.'], \
+		]
+
+	table(table3_2)
+	
+	header ('grid table', 2)
+	header ('with header', 3)
+	table4_1 = [ \
+		[['Fruit', 'default'],['Price', 'default'],['Advantages', 'default']], \
+		['Bananas', '$1.34', '- built-in wrapper\n- bright color'], \
+		['Oranges', '$2.10', '- cures scurvy\n- tasty'], \
+		]
+		
+	table(table4_1, '', ' ', 'grid')
+	
+	table4_2 = [ \
+		[['Fruit', 'left', 20],['Price', 'center'],['Advantages', 'right', 30]], \
+		['Bananas', '$1.34', '- built-in wrapper\n- bright color'], \
+		['Oranges', '$2.10', '- cures scurvy\n- tasty'], \
+		]
+		
+	table(table4_2, '', ' ', 'grid')
+	
+	header ('without header', 3)
+	table4_3 = [ \
+		[['', 'left'],['', 'center'],['', 'right']], \
+		['Bananas', '$1.34', '- built-in wrapper\n- bright color'], \
+		['Oranges', '$2.10', '- cures scurvy\n- tasty'], \
+		]
+	#~ table4_3 = [ \
+		#~ [['', 'left', 20],['', 'center'],['', 'right', 30]], \
+		#~ ['Bananas', '$1.34', '- built-in wrapper\n- bright color'], \
+		#~ ['Oranges', '$2.10', '- cures scurvy\n- tasty'], \
+		#~ ]
+		
+	table(table4_3, '', ' ', 'grid')
+
+	header ('pipe table', 2)
+	header ('with header', 3)
+	table5_1 = [ \
+		[['Right', 'right'],['Left', 'left'],['Default', 'default'], ['Center', 'center']], \
+		['12', '12', '123', '12'], \
+		['123', '123', '123', '123'], \
+		['1', '1', '1', '1'] \
+		]
+		
+	table(table5_1, '', ' ', 'pipe')
+	
+	table5_2 = [ \
+		[['Right\ntruc', 'right'],['Left', 'left', 30],['Default', 'default'], ['Center', 'center']], \
+		['12', '12', '123', '12'], \
+		['123', '123', '123', '123'], \
+		['1', '1', '1', '1'] \
+		]
+		
+	table(table5_2, '', ' ', 'pipe')
+
+	header ('without header', 3)
+	table5_3 = [ \
+		[['', 'right'],['', 'left'],['', 'default'], ['', 'center']], \
+		['12', '12', '123', '12'], \
+		['123', '123', '123', '123'], \
+		['1', '1', '1', '1'] \
+		]
+		
+	table(table5_3, '', ' ', 'pipe')
+	
+	newPage()
+	header ('text formatting')
+	header ('emphase', 2)
+	rawText('this is an ' + italic('italic') + ' emphase')
+	newLine()
+	rawText('this is a ' + bold('bold') + ' emphase')
+	
+	newLine()
+	
+	header ('strikeout', 2)
+	rawText('this is a ' + strikeout('strike out'))
+	
+	newLine()
+	
+	header ('power and indice', 2)
+	rawText('power : 2' + power('10'))
+	newLine()
+	rawText('indice : H' + indice('2') + '0')
+	
+	newLine()
+	
+	header ('verbatim', 2)
+	rawText('verbatim text : ' + verbatim('this is a verbatim text') + '\n')
+	rawText('verbatim text : ' + verbatim('this is a `verbatim` text'))
+
+	newLine()
+	
+	header ('small caps', 2)
+	rawText('small caps text : ' + smallCaps('this is a smallcaps text'))
+
+	header ('math', 2)
+	## tex math format shall be used with \\ for special char
+	formula = '\\sqrt{\\frac{x^2}{3}}'
+	rawText('math formula : ' + math(formula))
+
+	newLine()
+	
+	newPage()
+	header ('references')
+	header ('automatic link', 2)
+	urlLink = url('http://google.com')
+	emailLink = email('sam@green.eggs.ham')
+	rawText('url : ' + urlLink)
+	rawText('email : ' + emailLink)
+	
+	newLine()
+	header ('inline link', 2)
+	header ('url', 3)
+	inlineLink = url('http://fsf.org', 'inline link', 'click here for a good time!')
+	rawText('This is an ' + inlineLink)
+	
+	header ('email', 3)
+	inlineLink = email('sam@green.eggs.ham', 'Write me !')
+	rawText(inlineLink)
+	
+	newLine()
+	
+	header ('reference link', 2)
+	header ('non implicit', 3)
+	referenceLink = reference('FSF', 'My Website')
+	rawText('See ' + referenceLink)
+	newLine()
+	
+	header ('implicit', 3)
+	referenceLink = reference('My Website')
+	rawText('See ' + referenceLink)
+	newLine()
+	
+	header ('internal link', 2)
+	headerLink = reference('#introduction', 'Introduction')
+	text ('See the ' + headerLink)
+	newLine()
+	text ('Or')
+	newLine()
+	headerLink = reference('Introduction')
+	text ('See the ' + headerLink)
+	newLine()
+	
+	header ('images', 2)
+	imageRef = image('la_lune.jpg', 'la lune', 'Voyage to the moon')
+	rawText('An image : ' + imageRef)
+	newLine()
+	imageRef = image('la_lune.jpg', width = '50%')
+	rawText('An image : ' + imageRef)
+	newLine()
+	imageRef = image('Blade Runner')
+	rawText('An image : ' + imageRef)
+	newLine()
+
+	header ('definition', 2)
+	definedReference('http://fsf.org', 'FSF', 'click here for a good time!')
+	definedReference('http://truc.org', 'My Website')
+	definedReference('#introduction', 'Introduction')
+	definedReference('BladeRunner.gif', 'Blade Runner', 'title', 'width=10cm height=20px')
+
+	newLine()
+	
+	newPage()
+	header('footnote')
+	header('reference with label', 2)
+	
+	f1 = footnote()
+	f2 = footnote('longFoot')
+		
+	rawText('this is a simple footnote ' + f1 + ' and a long one ' + f2)
+	newLine()
+
+	header('inline footnote', 2)
+	f3 = footnote(text = 'Inlines notes are easier to write, since \nyou don\'t have to pick an identifier and move down to type the \nnote.')
+	rawText('Here is an inline note.' + f3)
+	newLine()
+	
+	header('definition', 2)
+	definedFootnote('1', 'A simple footnote.')
+	definedFootnote('longFoot', 'Here\'s one with multiple blocks.\n\nSubsequent paragraphs are indented to show that they\nbelong to the previous footnote.\n\nThe whole paragraph can be indented, or just the first \nline.  In this way, multi-paragraph footnotes work like \nmulti-paragraph list items.', '\n')
+	newLine()
+	
+	newPage()
+	header('citations')
+	c1 = citations('See @doe99', 'pp. 33-35', '@smith04')
+	rawText('Blah blah ' + c1 + '\n')
+	c2 = citations('@doe99', '@smith04')
+	rawText('Blah blah ' + c2 + '\n')
+	c3 = citations('@doe99', 'pp. 33-35, 38-39')
+	rawText('Blah blah ' + c3 + '\n')
+	c4 = citations('-@doe99')
+	rawText('Blah blah ' + c4 + '\n')
+	
+	addBibliography('./biblio.bib')
+	
+	finalizeDocument()
+	
+	#~ printDocument ()
+
+	#~ serialize ('test.md')
+
+	convert('test.pdf', 'latex')
+			
+if __name__ == "__main__":
+    main ()
+    #~ sys.exit (0);                       # exit

Documentation/projects/Cheddar_Properties.aadl

+property set Cheddar_Properties is
+	Dispatch_Seed_is_Predictable : aadlboolean
+		applies to (thread, thread group);
+	Context_Switch_Overhead : inherit Time
+		applies to (thread, thread group);
+	Source_Text : inherit list of aadlstring  applies to (virtual processor, processor, thread);
+	Automaton_Name : inherit list of aadlstring  applies to (virtual processor, processor, thread);
+	Dispatch_Seed_Value : aadlinteger
+		applies to (thread, thread group);
+	Dispatch_Absolute_Time :  inherit Time 
+		applies to (thread, thread group);
+	Criticality : aadlinteger
+		applies to (thread, thread group);
+	Bound_On_Data_Blocking_Time :  inherit Time 
+		applies to (thread, thread group);
+	Dispatch_Jitter :  inherit Time 
+		applies to (thread, thread group);
+	Fixed_Priority : aadlinteger 0..255
+		applies to (thread, thread group);
+	POSIX_Scheduling_Policy : enumeration (SCHED_FIFO, SCHED_RR, SCHED_OTHERS)
+		applies to (thread, thread group);
+	Dispatch_Offset_Value_0 : aadlinteger
+		applies to (thread, thread group);
+	Dispatch_Offset_Time_0 :  inherit Time 
+		applies to (thread, thread group);
+	Dispatch_Offset_Value_1 : aadlinteger
+		applies to (thread, thread group);
+	Dispatch_Offset_Time_1 :  inherit Time 
+		applies to (thread, thread group);
+	Dispatch_Offset_Value_2 : aadlinteger
+		applies to (thread, thread group);
+	Dispatch_Offset_Time_2 :  inherit Time 
+		applies to (thread, thread group);
+	Dispatch_Offset_Value_3 : aadlinteger
+		applies to (thread, thread group);
+	Dispatch_Offset_Time_3 :  inherit Time 
+		applies to (thread, thread group);
+	Dispatch_Offset_Value_4 : aadlinteger
+		applies to (thread, thread group);
+	Dispatch_Offset_Time_4 :  inherit Time 
+		applies to (thread, thread group);
+	Dispatch_Offset_Value_5 : aadlinteger
+		applies to (thread, thread group);
+	Dispatch_Offset_Time_5 :  inherit Time 
+		applies to (thread, thread group);
+	Task_Precedencies : list of aadlstring
+		applies to (system);
+
+	Scheduler_Quantum :  inherit Time 
+		applies to (processor, virtual processor);
+	Preemptive_Scheduler : aadlboolean
+		applies to (processor, virtual processor);
+
+
+	Scheduling_Protocol : list of Supported_Scheduling_Protocols 
+		applies to (processor, virtual processor);
+
+	Data_Concurrency_State : aadlinteger
+		applies to (data);
+
+	Critical_Section : list of aadlstring
+		applies to (virtual processor, thread, data);
+	Source_Global_Heap_Size : Size 
+		applies to (process);
+	Source_Global_Stack_Size : Size 
+		applies to (process);
+	Source_Global_Text_Size : Size 
+		applies to (process);
+	Source_Global_Data_Size : Size 
+		applies to (process);
+
+end Cheddar_Properties;
+
+
+

Documentation/projects/DemoDV.aadl

+---------------------------------------------------
+-- AADL2.1
+-- TASTE type deploymentview
+-- (c)Ellidiss Technologies
+-- generated code: do not edit
+---------------------------------------------------
+
+PACKAGE deploymentview::DV::Node1
+PUBLIC
+
+WITH ocarina_buses;
+WITH ocarina_drivers;
+WITH Taste;
+WITH Deployment;
+WITH TASTE_DV_Properties;
+PROCESS App1
+END App1;
+
+PROCESS IMPLEMENTATION App1.others
+END App1.others;
+
+DEVICE driver
+EXTENDS ocarina_drivers::generic_serial
+FEATURES
+  link : REFINED TO REQUIRES BUS ACCESS ocarina_buses::serial.generic {
+    Taste::coordinates => "113835 67430";
+  };
+PROPERTIES
+  Taste::Interface_Coordinates => "138660 69107" APPLIES TO link;
+  Deployment::Help => "Write your ASN.1 configuration here";
+END driver;
+
+DEVICE IMPLEMENTATION driver.others
+EXTENDS ocarina_drivers::generic_serial.raw
+END driver.others;
+
+END deploymentview::DV::Node1;
+
+PACKAGE deploymentview::DV::Node2
+PUBLIC
+
+WITH ocarina_buses;
+WITH ocarina_drivers;
+WITH Taste;
+WITH Deployment;
+WITH TASTE_DV_Properties;
+PROCESS App2
+END App2;
+
+PROCESS IMPLEMENTATION App2.others
+END App2.others;
+
+DEVICE driver
+EXTENDS ocarina_drivers::generic_serial
+FEATURES
+  link : REFINED TO REQUIRES BUS ACCESS ocarina_buses::serial.generic {
+    Taste::coordinates => "174666 67541";
+  };
+PROPERTIES
+  Taste::Interface_Coordinates => "148276 69330" APPLIES TO link;
+  Deployment::Help => "Write your ASN.1 configuration here";
+END driver;
+
+DEVICE IMPLEMENTATION driver.others
+EXTENDS ocarina_drivers::generic_serial.raw
+END driver.others;
+
+END deploymentview::DV::Node2;
+
+PACKAGE deploymentview::DV
+PUBLIC
+
+WITH interfaceview::IV::Sensors::S1;
+WITH interfaceview::IV::Sensors::S2;
+WITH interfaceview::IV::Processing::Preproc;
+WITH ocarina_processors_x86;
+WITH deploymentview::DV::Node1;
+WITH interfaceview::IV::Processing::Postproc;
+WITH interfaceview::IV::Actuators::A1;
+WITH interfaceview::IV::Actuators::A2;
+WITH deploymentview::DV::Node2;
+WITH ocarina_buses;
+WITH Taste;
+WITH Deployment;
+WITH interfaceview::IV;
+WITH TASTE_DV_Properties;
+SYSTEM Node1
+FEATURES
+  driver_serial_generic : REQUIRES BUS ACCESS ocarina_buses::serial.generic;
+END Node1;
+
+SYSTEM IMPLEMENTATION Node1.others
+SUBCOMPONENTS
+  IV_S1 : SYSTEM interfaceview::IV::Sensors::S1::S1.others {
+    Taste::coordinates => "97509 90800 110033 101982";
+    Taste::FunctionName => "S1";
+  };
+  IV_S2 : SYSTEM interfaceview::IV::Sensors::S2::S2.others {
+    Taste::coordinates => "98627 106678 109139 117413";
+    Taste::FunctionName => "S2";
+  };
+  IV_Preproc : SYSTEM interfaceview::IV::Processing::Preproc::Preproc.others {
+    Taste::coordinates => "90129 91918 96391 116966";
+    Taste::FunctionName => "Preproc";
+  };
+  App1 : PROCESS deploymentview::DV::Node1::App1.others {
+    Taste::coordinates => "88619 84547 111386 119724";
+    Deployment::Port_Number => 0;
+  };
+  x86_linux : PROCESSOR ocarina_processors_x86::x86.linux {
+    Taste::coordinates => "85656 73624 119650 123877";
+  };
+  driver : DEVICE deploymentview::DV::Node1::driver.others {
+    Taste::coordinates => "95720 64410 113835 70001";
+  };
+CONNECTIONS
+  driver_serial_generic_link : BUS ACCESS driver_serial_generic -> driver.link;
+PROPERTIES
+  Taste::APLC_Binding => (reference (App1)) APPLIES TO IV_S1;
+  Taste::APLC_Binding => (reference (App1)) APPLIES TO IV_S2;
+  Taste::APLC_Binding => (reference (App1)) APPLIES TO IV_Preproc;
+  Actual_Processor_Binding => (reference (x86_linux)) APPLIES TO App1;
+  Actual_Processor_Binding => (reference (x86_linux)) APPLIES TO driver;
+END Node1.others;
+
+SYSTEM Node2
+FEATURES
+  driver_serial_generic : REQUIRES BUS ACCESS ocarina_buses::serial.generic;
+END Node2;
+
+SYSTEM IMPLEMENTATION Node2.others
+SUBCOMPONENTS
+  IV_Postproc : SYSTEM interfaceview::IV::Processing::Postproc::Postproc.others {
+    Taste::coordinates => "172654 91694 178692 118755";
+    Taste::FunctionName => "Postproc";
+  };
+  IV_A1 : SYSTEM interfaceview::IV::Actuators::A1::A1.others {
+    Taste::coordinates => "182941 90129 192782 101758";
+    Taste::FunctionName => "A1";
+  };
+  IV_A2 : SYSTEM interfaceview::IV::Actuators::A2::A2.others {
+    Taste::coordinates => "184059 106902 192334 118308";
+    Taste::FunctionName => "A2";
+  };
+  App2 : PROCESS deploymentview::DV::Node2::App2.others {
+    Taste::coordinates => "170561 85106 195689 121378";
+    Deployment::Port_Number => 0;
+  };
+  x86_linux : PROCESSOR ocarina_processors_x86::x86.linux {
+    Taste::coordinates => "167018 74742 202443 126560";
+  };
+  driver : DEVICE deploymentview::DV::Node2::driver.others {
+    Taste::coordinates => "174666 64410 195242 70672";
+  };
+CONNECTIONS
+  driver_serial_generic_link : BUS ACCESS driver_serial_generic -> driver.link;
+PROPERTIES
+  Taste::APLC_Binding => (reference (App2)) APPLIES TO IV_Postproc;
+  Taste::APLC_Binding => (reference (App2)) APPLIES TO IV_A1;
+  Taste::APLC_Binding => (reference (App2)) APPLIES TO IV_A2;
+  Actual_Processor_Binding => (reference (x86_linux)) APPLIES TO App2;
+  Actual_Processor_Binding => (reference (x86_linux)) APPLIES TO driver;
+END Node2.others;
+
+SYSTEM deploymentview
+END deploymentview;
+
+SYSTEM IMPLEMENTATION deploymentview.others
+SUBCOMPONENTS
+  Node1 : SYSTEM Node1.others {
+    Taste::coordinates => "81407 59266 123899 131056";
+  };
+  Node2 : SYSTEM Node2.others;
+  --Node2 : SYSTEM Node2.others {
+  --  Taste::coordinates => "162590 59937 206871 133963";
+  --};
+  serial_generic : BUS ocarina_buses::serial.generic {
+    Taste::coordinates => "138660 64410 148276 104666";
+  };
+  interfaceview : SYSTEM interfaceview::IV::interfaceview.others;
+CONNECTIONS
+  Connection1 : BUS ACCESS serial_generic -> Node1.driver_serial_generic {
+    Taste::coordinates => "113835 67430 126247 67430 126247 69107 138660 69107";
+  };
+  Connection2 : BUS ACCESS serial_generic -> Node2.driver_serial_generic {
+    Taste::coordinates => "174666 67541 161471 67541 161471 69330 148276 69330";
+  };
+PROPERTIES
+  Actual_Connection_Binding => (reference (serial_generic)) APPLIES TO interfaceview.Processing.Preproc_PI_getVal_Postproc_RI_getVal;
+  Taste::Coordinates => "142462 76039 144474 89234" APPLIES TO interfaceview.Processing.Preproc_PI_getVal_Postproc_RI_getVal;
+END deploymentview.others;
+
+PROPERTIES
+  Taste::coordinates => "0 0 297000 210000";
+  Taste::version => "2.0";
+  Taste::interfaceView => "DemoIV.aadl";
+  Taste::HWLibraries => ("common/ocarina_components.aadl");
+END deploymentview::DV;
+

Documentation/projects/DemoIV2.aadl

+---------------------------------------------------
+-- AADL2.1
+-- TASTE type interfaceview
+-- 
+-- generated code: do not edit
+---------------------------------------------------
+
+PACKAGE interfaceview::IV::Sensors::S1
+PUBLIC
+
+WITH Taste;
+WITH DataView;
+WITH TASTE_IV_Properties;
+SUBPROGRAM PI_getVal1
+FEATURES
+  val : OUT PARAMETER DataView::MyInteger {
+    Taste::encoding => NATIVE;
+  };
+PROPERTIES
+  Taste::Associated_Queue_Size => 1;
+END PI_getVal1;
+
+SUBPROGRAM IMPLEMENTATION PI_getVal1.others
+PROPERTIES
+  Compute_Execution_Time => 0 ms .. 1 ms;
+END PI_getVal1.others;
+
+SUBPROGRAM PI_clock
+PROPERTIES
+  Taste::Associated_Queue_Size => 1;
+END PI_clock;
+
+SUBPROGRAM IMPLEMENTATION PI_clock.others
+PROPERTIES
+  Compute_Execution_Time => 0 ms .. 2 ms;
+END PI_clock.others;
+
+SYSTEM S1
+FEATURES
+  PI_getVal1 : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::Sensors::S1::PI_getVal1.others {
+    Taste::coordinates => "93381 74960";
+    Taste::RCMoperationKind => unprotected;
+    Taste::RCMperiod => 0 ms;
+    Taste::Deadline => 0 ms;
+    Taste::InterfaceName => "getVal1";
+  };
+  PI_clock : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::Sensors::S1::PI_clock.others {
+    Taste::coordinates => "85795 60198";
+    Taste::RCMoperationKind => cyclic;
+    Taste::RCMperiod => 10 ms;
+    Taste::Deadline => 10 ms;
+    Taste::InterfaceName => "clock";
+  };
+PROPERTIES
+  Source_Language => (C);
+  Taste::Active_Interfaces => any;
+END S1;
+
+SYSTEM IMPLEMENTATION S1.others
+SUBCOMPONENTS
+  values : DATA DataView::MyInteger {
+    Taste::FS_Default_Value => "0";
+  };
+END S1.others;
+
+END interfaceview::IV::Sensors::S1;
+
+PACKAGE interfaceview::IV::Sensors::S2
+PUBLIC
+
+WITH Taste;
+WITH DataView;
+WITH TASTE_IV_Properties;
+SUBPROGRAM PI_getVal2
+FEATURES
+  val : OUT PARAMETER DataView::MyInteger {
+    Taste::encoding => NATIVE;
+  };
+PROPERTIES
+  Taste::Associated_Queue_Size => 1;
+END PI_getVal2;
+
+SUBPROGRAM IMPLEMENTATION PI_getVal2.others
+PROPERTIES
+  Compute_Execution_Time => 0 ms .. 1 ms;
+END PI_getVal2.others;
+
+SUBPROGRAM PI_clock
+PROPERTIES
+  Taste::Associated_Queue_Size => 1;
+END PI_clock;
+
+SUBPROGRAM IMPLEMENTATION PI_clock.others
+PROPERTIES
+  Compute_Execution_Time => 0 ms .. 2 ms;
+END PI_clock.others;
+
+SYSTEM S2
+FEATURES
+  PI_getVal2 : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::Sensors::S2::PI_getVal2.others {
+    Taste::coordinates => "93567 105567";
+    Taste::RCMoperationKind => unprotected;
+    Taste::RCMperiod => 0 ms;
+    Taste::Deadline => 0 ms;
+    Taste::InterfaceName => "getVal2";
+  };
+  PI_clock : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::Sensors::S2::PI_clock.others {
+    Taste::coordinates => "86277 91380";
+    Taste::RCMoperationKind => cyclic;
+    Taste::RCMperiod => 10 ms;
+    Taste::Deadline => 10 ms;
+    Taste::InterfaceName => "clock";
+  };
+PROPERTIES
+  Source_Language => (C);
+  Taste::Active_Interfaces => any;
+END S2;
+
+SYSTEM IMPLEMENTATION S2.others
+END S2.others;
+
+END interfaceview::IV::Sensors::S2;
+
+PACKAGE interfaceview::IV::Sensors
+PUBLIC
+
+WITH interfaceview::IV::Sensors::S1;
+WITH interfaceview::IV::Sensors::S2;
+WITH Taste;
+WITH DataView;
+WITH TASTE_IV_Properties;
+SUBPROGRAM PI_getVal1
+FEATURES
+  val : OUT PARAMETER DataView::MyInteger {
+    Taste::encoding => NATIVE;
+  };
+PROPERTIES
+  Taste::Associated_Queue_Size => 1;
+END PI_getVal1;
+
+SUBPROGRAM IMPLEMENTATION PI_getVal1.others
+PROPERTIES
+  Compute_Execution_Time => 0 ms .. 1 ms;
+END PI_getVal1.others;
+
+SUBPROGRAM PI_getVal2
+FEATURES
+  val : OUT PARAMETER DataView::MyInteger {
+    Taste::encoding => NATIVE;
+  };
+PROPERTIES
+  Taste::Associated_Queue_Size => 1;
+END PI_getVal2;
+
+SUBPROGRAM IMPLEMENTATION PI_getVal2.others
+PROPERTIES
+  Compute_Execution_Time => 0 ms .. 1 ms;
+END PI_getVal2.others;
+
+SYSTEM Sensors
+FEATURES
+  PI_getVal1 : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::Sensors::S1::PI_getVal1.others {
+    Taste::coordinates => "107676 62304";
+    Taste::RCMoperationKind => unprotected;
+    Taste::RCMperiod => 0 ms;
+    Taste::Deadline => 0 ms;
+    Taste::InterfaceName => "getVal1";
+  };
+  PI_getVal2 : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::Sensors::S2::PI_getVal2.others {
+    Taste::coordinates => "107676 113183";
+    Taste::RCMoperationKind => unprotected;
+    Taste::RCMperiod => 0 ms;
+    Taste::Deadline => 0 ms;
+    Taste::InterfaceName => "getVal2";
+  };
+PROPERTIES
+  Source_Language => (C);
+  Taste::Active_Interfaces => any;
+END Sensors;
+
+SYSTEM IMPLEMENTATION Sensors.others
+SUBCOMPONENTS
+  S1 : SYSTEM interfaceview::IV::Sensors::S1::S1.others {
+    Taste::coordinates => "77594 60198 93381 81315";
+  };
+  S2 : SYSTEM interfaceview::IV::Sensors::S2::S2.others {
+    Taste::coordinates => "78395 91380 93567 111674";
+  };
+CONNECTIONS
+  S1_PI_getVal1_Sensors_PI_getVal1 : SUBPROGRAM ACCESS S1.PI_getVal1 -> PI_getVal1 {
+    Taste::coordinates => "107676 62304 100528 62304 100528 74960 93381 74960";
+  };
+  S2_PI_getVal2_Sensors_PI_getVal2 : SUBPROGRAM ACCESS S2.PI_getVal2 -> PI_getVal2 {
+    Taste::coordinates => "107676 113183 100621 113183 100621 105567 93567 105567";
+  };
+END Sensors.others;
+
+END interfaceview::IV::Sensors;
+
+PACKAGE interfaceview::IV
+PUBLIC
+
+WITH interfaceview::IV::Sensors;
+WITH Taste;
+WITH DataView;
+WITH TASTE_IV_Properties;
+SYSTEM interfaceview
+END interfaceview;
+
+SYSTEM IMPLEMENTATION interfaceview.others
+SUBCOMPONENTS
+  Sensors : SYSTEM interfaceview::IV::Sensors::Sensors.others {
+    Taste::coordinates => "72564 49351 107676 129863";
+  };
+END interfaceview.others;
+
+PROPERTIES
+  Taste::dataView => ("DataView");
+  Taste::dataViewPath => ("TASTE-Dataview.aadl");
+  Taste::coordinates => "0 0 297000 210000";
+  Taste::version => "2.0";
+END interfaceview::IV;
+

Documentation/projects/DeploymentView.aadl

+---------------------------------------------------
+-- AADL2.1
+-- TASTE type deploymentview
+-- 
+-- generated code: do not edit
+---------------------------------------------------
+
+PACKAGE deploymentview::DV::Node1
+PUBLIC
+
+WITH ocarina_drivers;
+WITH Taste;
+WITH Deployment;
+WITH TASTE_DV_Properties;
+PROCESS leon_partition
+END leon_partition;
+
+PROCESS IMPLEMENTATION leon_partition.others
+END leon_partition.others;
+
+DEVICE leon_ethernet_raw
+EXTENDS ocarina_drivers::leon_ethernet
+FEATURES
+  link : REFINED TO REQUIRES BUS ACCESS ocarina_buses::ip.i {
+    Taste::coordinates => "125351 54911";
+  };
+PROPERTIES
+  Deployment::Help => "Write your ASN.1 configuration here";
+  Deployment::Configuration => "leon_ethernet_raw";
+  Deployment::Config => "/home/maxime/taste/tool-inst/include/ocarina/runtime/polyorb-hi-c/src/drivers/configuration/ip.asn";
+  Deployment::Version => "0.1beta";
+END leon_ethernet_raw;
+
+DEVICE IMPLEMENTATION leon_ethernet_raw.others
+EXTENDS ocarina_drivers::leon_ethernet.raw
+END leon_ethernet_raw.others;
+
+END deploymentview::DV::Node1;
+
+PACKAGE deploymentview::DV
+PUBLIC
+
+WITH ocarina_processors_leon;
+WITH deploymentview::DV::Node1;
+WITH ocarina_buses;
+WITH Taste;
+WITH Deployment;
+WITH interfaceview::IV;
+WITH TASTE_DV_Properties;
+SYSTEM Node1
+END Node1;
+
+SYSTEM IMPLEMENTATION Node1.others
+SUBCOMPONENTS
+  leon_partition : PROCESS deploymentview::DV::Node1::leon_partition.others {
+    Taste::coordinates => "90171 58108 113603 74644";
+    Deployment::Port_Number => 0;
+  };
+  leon_rtems_posix : PROCESSOR ocarina_processors_leon::leon.rtems_posix {
+    Taste::coordinates => "87242 53384 116532 77006";
+  };
+  leon_ethernet_raw : DEVICE deploymentview::DV::Node1::leon_ethernet_raw.others {
+    Taste::coordinates => "125351 52440 149602 69604";
+  };
+PROPERTIES
+  Actual_Processor_Binding => (reference (leon_rtems_posix)) APPLIES TO leon_partition;
+  Actual_Processor_Binding => (reference (leon_rtems_posix)) APPLIES TO leon_ethernet_raw;
+END Node1.others;
+
+SYSTEM deploymentview
+END deploymentview;
+
+SYSTEM IMPLEMENTATION deploymentview.others
+SUBCOMPONENTS
+  Node1 : SYSTEM Node1.others {
+    Taste::coordinates => "77951 45983 168657 88344";
+  };
+  generic_bus_i : BUS ocarina_buses::generic_bus.i {
+    Taste::coordinates => "182672 67872 215427 105352";
+  };
+  interfaceview : SYSTEM interfaceview::IV::interfaceview.others;
+END deploymentview.others;
+
+PROPERTIES
+  Taste::coordinates => "0 0 297000 210000";
+  Taste::version => "2.0";
+  Taste::interfaceView => "InterfaceView.aadl";
+  Taste::HWLibraries => ("../TASTE/Workspace/LibHWTaste.aadl");
+END deploymentview::DV;
+

Documentation/projects/InterfaceView.aadl

+---------------------------------------------------
+-- AADL2.1
+-- TASTE type interfaceview
+-- 
+-- generated code: do not edit
+---------------------------------------------------
+
+PACKAGE interfaceview::IV::Function1::Function2
+PUBLIC
+
+WITH Taste;
+WITH TASTE_IV_Properties;
+SUBPROGRAM PI_PI2
+END PI_PI2;
+
+SUBPROGRAM IMPLEMENTATION PI_PI2.others
+PROPERTIES
+  Compute_Execution_Time => 0 ms .. 0 ms;
+END PI_PI2.others;
+
+SYSTEM Function2
+FEATURES
+  PI_PI2 : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::Function1::Function2::PI_PI2.others {
+    Taste::coordinates => "122201 68819";
+    Taste::RCMoperationKind => unprotected;
+    Taste::Deadline => 45 ms;
+    Taste::InterfaceName => "PI2";
+  };
+PROPERTIES
+  Source_Language => (C);
+  Taste::Active_Interfaces => any;
+END Function2;
+
+SYSTEM IMPLEMENTATION Function2.others
+END Function2.others;
+
+END interfaceview::IV::Function1::Function2;
+
+PACKAGE interfaceview::IV::Function1
+-- { interfaceview::IV::Function1 - 86927 55904 95837 71652 
+--functions comment 
+--}
+PUBLIC
+
+WITH interfaceview::IV::Function1::Function2;
+WITH Taste;
+WITH TASTE_IV_Properties;
+SUBPROGRAM PI_PI2
+END PI_PI2;
+
+SUBPROGRAM IMPLEMENTATION PI_PI2.others
+PROPERTIES
+  Compute_Execution_Time => 0 ms .. 0 ms;
+END PI_PI2.others;
+
+SYSTEM Function1
+FEATURES
+  PI_PI2 : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::Function1::Function2::PI_PI2.others {
+    Taste::coordinates => "138894 68347";
+    Taste::RCMoperationKind => unprotected;
+    Taste::Deadline => 45 ms;
+    Taste::InterfaceName => "PI2";
+  };
+PROPERTIES
+  Source_Language => (C);
+  Taste::Active_Interfaces => any;
+END Function1;
+
+SYSTEM IMPLEMENTATION Function1.others
+SUBCOMPONENTS
+-- [ interfaceview::IV::Function1::Function1.others.Function2 - text 
+--Function 2 description 
+--]
+  Function2 : SYSTEM interfaceview::IV::Function1::Function2::Function2.others {
+    Taste::coordinates => "94171 59369 122201 91494";
+  };
+CONNECTIONS
+  Function2_PI_PI2_Function1_PI_PI2 : SUBPROGRAM ACCESS Function2.PI_PI2 -> PI_PI2 {
+    Taste::coordinates => "138894 68347 130547 68347 130547 68819 122201 68819";
+  };
+END Function1.others;
+
+END interfaceview::IV::Function1;
+
+PACKAGE interfaceview::IV::Function3
+PUBLIC
+
+WITH Taste;
+WITH TASTE_IV_Properties;
+SUBPROGRAM RI_PI1
+END RI_PI1;
+
+SUBPROGRAM IMPLEMENTATION RI_PI1.others
+END RI_PI1.others;
+
+SYSTEM Function3
+FEATURES
+  RI_PI1 : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::Function3::RI_PI1.others {
+    Taste::coordinates => "149760 66929";
+    Taste::RCMoperationKind => any;
+    Taste::InterfaceName => "PI1";
+    Taste::labelInheritance => "true";
+  };
+PROPERTIES
+  Source_Language => (C);
+  Taste::Active_Interfaces => any;
+END Function3;
+
+SYSTEM IMPLEMENTATION Function3.others
+END Function3.others;
+
+END interfaceview::IV::Function3;
+
+PACKAGE interfaceview::IV
+-- { interfaceview::IV - 61731 51022 80786 73856 
+--root comment 
+--}
+PUBLIC
+
+WITH interfaceview::IV::Function1;
+WITH interfaceview::IV::Function3;
+WITH Taste;
+WITH TASTE_IV_Properties;
+SYSTEM interfaceview
+END interfaceview;
+
+SYSTEM IMPLEMENTATION interfaceview.others
+SUBCOMPONENTS
+-- [ interfaceview::IV::interfaceview.others.Function1 - text 
+--Function desription 
+--]
+  Function1 : SYSTEM interfaceview::IV::Function1::Function1.others {
+    Taste::coordinates => "83305 51022 138894 107399";
+  };
+  Function3 : SYSTEM interfaceview::IV::Function3::Function3.others {
+    Taste::coordinates => "149760 55904 198262 94643";
+  };
+END interfaceview.others;
+
+PROPERTIES
+  Taste::coordinates => "0 0 297000 210000";
+  Taste::version => "2.0";
+END interfaceview::IV;
+

Documentation/projects/InterfaceViewDesc.aadl

+---------------------------------------------------
+-- AADL2.1
+-- TASTE type interfaceview
+-- 
+-- generated code: do not edit
+---------------------------------------------------
+
+PACKAGE interfaceview::IV::Function1::Function2
+PUBLIC
+
+WITH Taste;
+WITH TASTE_IV_Properties;
+SUBPROGRAM PI_PI2
+END PI_PI2;
+
+SUBPROGRAM IMPLEMENTATION PI_PI2.others
+PROPERTIES
+  Compute_Execution_Time => 0 ms .. 0 ms;
+END PI_PI2.others;
+
+SYSTEM Function2
+FEATURES
+-- [ interfaceview::IV::Function1::Function2::Function2.PI_PI2 - text 
+--PI description 2 
+--]
+  PI_PI2 : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::Function1::Function2::PI_PI2.others {
+    Taste::coordinates => "103619 62204";
+    Taste::RCMoperationKind => unprotected;
+    Taste::InterfaceName => "PI2";
+  };
+PROPERTIES
+  Source_Language => (C);
+  Taste::Active_Interfaces => any;
+END Function2;
+
+SYSTEM IMPLEMENTATION Function2.others
+END Function2.others;
+
+END interfaceview::IV::Function1::Function2;
+
+PACKAGE interfaceview::IV::Function1
+PUBLIC
+
+WITH interfaceview::IV::Function1::Function2;
+WITH Taste;
+WITH TASTE_IV_Properties;
+SUBPROGRAM PI_PI1
+END PI_PI1;
+
+SUBPROGRAM IMPLEMENTATION PI_PI1.others
+PROPERTIES
+  Compute_Execution_Time => 0 ms .. 0 ms;
+END PI_PI1.others;
+
+SYSTEM Function1
+FEATURES
+-- [ interfaceview::IV::Function1::Function1.PI_PI1 - text 
+--PI description 1 
+--]
+  PI_PI1 : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::Function1::PI_PI1.others {
+    Taste::coordinates => "93698 55432";
+    Taste::RCMoperationKind => unprotected;
+    Taste::InterfaceName => "PI1";
+  };
+PROPERTIES
+  Source_Language => (C);
+  Taste::Active_Interfaces => any;
+END Function1;
+
+SYSTEM IMPLEMENTATION Function1.others
+SUBCOMPONENTS
+-- [ interfaceview::IV::Function1::Function1.others.Function2 - text 
+--function description 2 
+--]
+  Function2 : SYSTEM interfaceview::IV::Function1::Function2::Function2.others {
+    Taste::coordinates => "103619 57479 148028 85510";
+  };
+END Function1.others;
+
+END interfaceview::IV::Function1;
+
+PACKAGE interfaceview::IV
+-- [ interfaceview::IV - text 
+--iv description 
+--]
+PUBLIC
+
+WITH interfaceview::IV::Function1;
+WITH Taste;
+WITH TASTE_IV_Properties;
+SYSTEM interfaceview
+END interfaceview;
+
+SYSTEM IMPLEMENTATION interfaceview.others
+SUBCOMPONENTS
+-- [ interfaceview::IV::interfaceview.others.Function1 - text 
+--function description 1 
+--]
+  Function1 : SYSTEM interfaceview::IV::Function1::Function1.others {
+    Taste::coordinates => "93698 50707 148185 88817";
+  };
+END interfaceview.others;
+
+PROPERTIES
+  Taste::coordinates => "0 0 297000 210000";
+  Taste::version => "2.0";
+END interfaceview::IV;
+

Documentation/projects/TASTE-Dataview.aadl

+-- type dataview
+--------------------------------------------------------
+--! File generated by asn2aadl v1.2160: DO NOT EDIT !
+--------------------------------------------------------
+
+package DataView
+
+public
+
+  with Data_Model;
+  with Taste;
+  with Base_Types;
+  with Deployment;
+-- No more private heap required (we use the space certified compiler)
+-- Memory_Required: 0
+
+
+data Stream_Element_Buffer
+    -- Root type for buffer elements
+properties
+    Data_Model::Data_Representation => Character;
+end Stream_Element_Buffer;
+DATA MyInteger
+PROPERTIES
+    -- name of the ASN.1 source file:
+    Source_Text => ("TASTE-Dataview.asn");
+    TASTE::Ada_Package_Name => "TASTE_Dataview";
+    Deployment::ASN1_Module_Name => "TASTE-Dataview";
+    Source_Language => (ASN1);
+    -- Size of a buffer to cover all forms of message representation:
+    -- Real message size is 8; suggested aligned message buffer is...
+    Source_Data_Size => 8 Bytes;
+    -- name of the corresponding data type in the source file:
+    Type_Source_Name => "MyInteger";
+    -- what kind of type is this?
+    TASTE::ASN1_Basic_Type =>aINTEGER;
+END MyInteger;
+
+DATA MyInteger_Buffer_Max
+END MyInteger_Buffer_Max;
+
+DATA IMPLEMENTATION MyInteger_Buffer_Max.impl
+    -- Buffer to hold a marshalled data of type MyInteger
+PROPERTIES
+    Data_Model::Data_Representation => array;
+    Data_Model::Dimension => (8); -- Size of the buffer
+    Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
+END MyInteger_Buffer_Max.impl;
+
+DATA MyInteger_Buffer
+END MyInteger_Buffer;
+
+DATA IMPLEMENTATION MyInteger_Buffer.impl
+    -- Buffer to hold a marshalled data of type MyInteger
+SUBCOMPONENTS
+    Buffer : data MyInteger_Buffer_Max.impl;
+    Length : data Base_Types::Unsigned_16;
+PROPERTIES
+    Data_Model::Data_Representation => Struct;
+END MyInteger_Buffer.impl;
+
+DATA MyReal
+PROPERTIES
+    -- name of the ASN.1 source file:
+    Source_Text => ("TASTE-Dataview.asn");
+    TASTE::Ada_Package_Name => "TASTE_Dataview";
+    Deployment::ASN1_Module_Name => "TASTE-Dataview";
+    Source_Language => (ASN1);
+    -- Size of a buffer to cover all forms of message representation:
+    -- Real message size is 13; suggested aligned message buffer is...
+    Source_Data_Size => 16 Bytes;
+    -- name of the corresponding data type in the source file:
+    Type_Source_Name => "MyReal";
+    -- what kind of type is this?
+    TASTE::ASN1_Basic_Type =>aREAL;
+END MyReal;
+
+DATA MyReal_Buffer_Max
+END MyReal_Buffer_Max;
+
+DATA IMPLEMENTATION MyReal_Buffer_Max.impl
+    -- Buffer to hold a marshalled data of type MyReal
+PROPERTIES
+    Data_Model::Data_Representation => array;
+    Data_Model::Dimension => (16); -- Size of the buffer
+    Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
+END MyReal_Buffer_Max.impl;
+
+DATA MyReal_Buffer
+END MyReal_Buffer;
+
+DATA IMPLEMENTATION MyReal_Buffer.impl
+    -- Buffer to hold a marshalled data of type MyReal
+SUBCOMPONENTS
+    Buffer : data MyReal_Buffer_Max.impl;
+    Length : data Base_Types::Unsigned_16;
+PROPERTIES
+    Data_Model::Data_Representation => Struct;
+END MyReal_Buffer.impl;
+
+DATA MySeqOf
+PROPERTIES
+    -- name of the ASN.1 source file:
+    Source_Text => ("TASTE-Dataview.asn");
+    TASTE::Ada_Package_Name => "TASTE_Dataview";
+    Deployment::ASN1_Module_Name => "TASTE-Dataview";
+    Source_Language => (ASN1);
+    -- Size of a buffer to cover all forms of message representation:
+    -- Real message size is 8; suggested aligned message buffer is...
+    Source_Data_Size => 8 Bytes;
+    -- name of the corresponding data type in the source file:
+    Type_Source_Name => "MySeqOf";
+    -- what kind of type is this?
+    TASTE::ASN1_Basic_Type =>aSEQUENCEOF;
+END MySeqOf;
+
+DATA MySeqOf_Buffer_Max
+END MySeqOf_Buffer_Max;
+
+DATA IMPLEMENTATION MySeqOf_Buffer_Max.impl
+    -- Buffer to hold a marshalled data of type MySeqOf
+PROPERTIES
+    Data_Model::Data_Representation => array;
+    Data_Model::Dimension => (8); -- Size of the buffer
+    Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
+END MySeqOf_Buffer_Max.impl;
+
+DATA MySeqOf_Buffer
+END MySeqOf_Buffer;
+
+DATA IMPLEMENTATION MySeqOf_Buffer.impl
+    -- Buffer to hold a marshalled data of type MySeqOf
+SUBCOMPONENTS
+    Buffer : data MySeqOf_Buffer_Max.impl;
+    Length : data Base_Types::Unsigned_16;
+PROPERTIES
+    Data_Model::Data_Representation => Struct;
+END MySeqOf_Buffer.impl;
+
+DATA MySeq
+PROPERTIES
+    -- name of the ASN.1 source file:
+    Source_Text => ("TASTE-Dataview.asn");
+    TASTE::Ada_Package_Name => "TASTE_Dataview";
+    Deployment::ASN1_Module_Name => "TASTE-Dataview";
+    Source_Language => (ASN1);
+    -- Size of a buffer to cover all forms of message representation:
+    -- Real message size is 12; suggested aligned message buffer is...
+    Source_Data_Size => 16 Bytes;
+    -- name of the corresponding data type in the source file:
+    Type_