Skip to content

FTA fails on example model #2772

Closed
Closed
FTA fails on example model#2772
Assignees
lwrage
Labels
analysesanalyses from pluginscategory:bug
Milestone
2.11.0

Description

@lwrage
lwrage
opened on Mar 17, 2022

Summary
Running the FTA on wbs.ima from the simple ARP4761 example does not produce a result.

Expected behavior
There should be either a result or an error message.

Actual behavior
The FTA fails silently and only reports a stack trace in the error log.

Steps To Reproduce

  1. Import the ARP4761 example model
  2. Instantiate wbs.ima from simple/wbs.aadl
  3. Run the FTA on the created instance model (using default settings in the dialog).
  4. See error log.

Desktop (please complete the following information):

  • OSATE Version: 2.11 development
  • Operating System: Linux

Additional context

eclipse.buildId=unknown
java.version=17.0.2
java.vendor=Eclipse Adoptium
BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=en_US
Framework arguments:  -product org.osate.branding.osate2
Command-line arguments:  -product org.osate.branding.osate2 -data /home/lw/local/eclipse/java-2022-03/ws/../runtime-osate2 -dev file:/home/lw/local/eclipse/java-2022-03/ws/.metadata/.plugins/org.eclipse.pde.core/OSATE2/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog

org.eclipse.e4.ui.workbench
Error
Thu Mar 17 11:05:46 EDT 2022
Command 'org.osate.aadl2.errormodel.analysis.fta' failed

org.eclipse.core.commands.ExecutionException: Error executing 'org.osate.aadl2.errormodel.analysis.fta': org.osate.aadl2.properties.PropertyDoesNotApplyToHolderException: Property Actual_Function_Binding does not apply to org.osate.aadl2.instance.impl.ComponentInstanceImpl
	at org.eclipse.e4.core.commands.internal.HandlerServiceHandler.execute(HandlerServiceHandler.java:170)
	at org.eclipse.core.commands.Command.executeWithChecks(Command.java:488)
	at org.eclipse.core.commands.ParameterizedCommand.executeWithChecks(ParameterizedCommand.java:487)
	at org.eclipse.e4.core.commands.internal.HandlerServiceImpl.executeHandler(HandlerServiceImpl.java:213)
	at org.eclipse.e4.ui.workbench.renderers.swt.HandledContributionItem.executeItem(HandledContributionItem.java:438)
	at org.eclipse.e4.ui.workbench.renderers.swt.AbstractContributionItem.handleWidgetSelection(AbstractContributionItem.java:449)
	at org.eclipse.e4.ui.workbench.renderers.swt.AbstractContributionItem.lambda$2(AbstractContributionItem.java:475)
	at org.eclipse.swt.widgets.EventTable.sendEvent(EventTable.java:89)
	at org.eclipse.swt.widgets.Display.sendEvent(Display.java:5895)
	at org.eclipse.swt.widgets.Widget.sendEvent(Widget.java:1520)
	at org.eclipse.swt.widgets.Display.runDeferredEvents(Display.java:5126)
	at org.eclipse.swt.widgets.Display.readAndDispatch(Display.java:4581)
	at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine$5.run(PartRenderingEngine.java:1155)
	at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:338)
	at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine.run(PartRenderingEngine.java:1046)
	at org.eclipse.e4.ui.internal.workbench.E4Workbench.createAndRunUI(E4Workbench.java:155)
	at org.eclipse.ui.internal.Workbench.lambda$3(Workbench.java:644)
	at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:338)
	at org.eclipse.ui.internal.Workbench.createAndRunWorkbench(Workbench.java:551)
	at org.eclipse.ui.PlatformUI.createAndRunWorkbench(PlatformUI.java:156)
	at org.eclipse.ui.internal.ide.application.IDEApplication.start(IDEApplication.java:152)
	at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
	at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
	at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
	at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
	at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
	at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
	at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
	at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
	at java.base/java.lang.reflect.Method.invoke(Method.java:568)
	at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
	at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
	at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
	at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
Caused by: org.eclipse.e4.core.di.InjectionException: org.osate.aadl2.properties.PropertyDoesNotApplyToHolderException: Property Actual_Function_Binding does not apply to org.osate.aadl2.instance.impl.ComponentInstanceImpl
	at org.eclipse.e4.core.internal.di.MethodRequestor.execute(MethodRequestor.java:68)
	at org.eclipse.e4.core.internal.di.InjectorImpl.invokeUsingClass(InjectorImpl.java:317)
	at org.eclipse.e4.core.internal.di.InjectorImpl.invoke(InjectorImpl.java:251)
	at org.eclipse.e4.core.contexts.ContextInjectionFactory.invoke(ContextInjectionFactory.java:173)
	at org.eclipse.e4.core.commands.internal.HandlerServiceHandler.execute(HandlerServiceHandler.java:156)
	... 33 more
Caused by: org.osate.aadl2.properties.PropertyDoesNotApplyToHolderException: Property Actual_Function_Binding does not apply to org.osate.aadl2.instance.impl.ComponentInstanceImpl
	at org.osate.aadl2.impl.NamedElementImpl.getPropertyValue(NamedElementImpl.java:442)
	at org.osate.aadl2.impl.NamedElementImpl.getNonModalPropertyValue(NamedElementImpl.java:373)
	at org.osate.pluginsupport.properties.CodeGenUtil.lambda$1(CodeGenUtil.java:86)
	at java.base/java.util.Optional.orElseGet(Optional.java:364)
	at org.osate.pluginsupport.properties.CodeGenUtil.lookupProperty(CodeGenUtil.java:86)
	at org.osate.aadl2.contrib.deployment.DeploymentProperties.getActualFunctionBinding(DeploymentProperties.java:429)
	at org.osate.aadl2.contrib.deployment.DeploymentProperties.getActualFunctionBinding(DeploymentProperties.java:419)
	at org.osate.xtext.aadl2.properties.util.InstanceModelUtil.getFunctionBindings(InstanceModelUtil.java:419)
	at org.osate.aadl2.errormodel.PropagationGraph.util.Util.populateBindingPaths(Util.java:476)
	at org.osate.aadl2.errormodel.PropagationGraph.util.Util.generatePropagationGraph(Util.java:89)
	at org.osate.aadl2.errormodel.faulttree.generation.CreateFTAModel.createModel(CreateFTAModel.java:102)
	at org.osate.aadl2.errormodel.faulttree.handler.FTAHandler.execute(FTAHandler.java:155)
	at org.eclipse.ui.internal.handlers.HandlerProxy.execute(HandlerProxy.java:283)
	at org.eclipse.ui.internal.handlers.E4HandlerProxy.execute(E4HandlerProxy.java:97)
	at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
	at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
	at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
	at java.base/java.lang.reflect.Method.invoke(Method.java:568)
	at org.eclipse.e4.core.internal.di.MethodRequestor.execute(MethodRequestor.java:58)
	... 37 more

Activity

  1. lwrage
    self-assigned this
    on Mar 22, 2022
  2. lwrage
    added
    category:bug
    analysesanalyses from plugins
    on Mar 22, 2022
  3. lwrage
    added this to the 2.11.0 milestone on Mar 22, 2022
  4. lwrage
    closed this as completedin ba52173on Mar 24, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

analysesanalyses from pluginscategory:bug

Type

No type

Projects

No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions