Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: The verification of embedded software has become an important subject over the last years. Hover, neither standalone verification approaches, like simulation-based or formal verification, nor state-of-the-art hybrid/semiformal verification approaches are able to verify large and complex embedded software with hardware dependencies. This work presents a new scalable and extendable hybrid verification approach for the verification of temporal properties in embedded software with hardware dependencies using for the first time a new mixed bottom-up/top-down algorithm. Therefore, new algorithms and methodologies like static parameter assignment and counterexample guided simulation are proposed in order to combine simulation-based and formal verification in a new way.  have successfully applied this hybrid approach to embedded software applications: Motorola's Porstone Benchmark suite and a complex industrial embedded automotive software. The results show that our approach scales better than stand-alone software model checkers to reach deep state spaces. The whole approach is best suited for fast falsification.
['Jörg Behrend', 'Djones Lettnin', 'Patrick Heckeler', 'Jürgen Ruf', 'Thomas Kropf', 'Wolfgang Rosenstiel']
I am writing a research paper on a idea Scalable hybrid verification for embedded software
[{"from": "human", "value": "I am writing a research paper on a idea Scalable hybrid verification for embedded software"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: The verification of embedded software has become an important subject over the last years. Hover, neither standalone verification approaches, like simulation-based or formal verification, nor state-of-the-art hybrid/semiformal verification approaches are able to verify large and complex embedded software with hardware dependencies. This work presents a new scalable and extendable hybrid verification approach for the verification of temporal properties in embedded software with hardware dependencies using for the first time a new mixed bottom-up/top-down algorithm. Therefore, new algorithms and methodologies like static parameter assignment and counterexample guided simulation are proposed in order to combine simulation-based and formal verification in a new way.  have successfully applied this hybrid approach to embedded software applications: Motorola's Porstone Benchmark suite and a complex industrial embedded automotive software. The results show that our approach scales better than stand-alone software model checkers to reach deep state spaces. The whole approach is best suited for fast falsification."}]