scispace - formally typeset
B

Bin Liu

Researcher at Beihang University

Publications -  9
Citations -  76

Bin Liu is an academic researcher from Beihang University. The author has contributed to research in topics: Software & Software system. The author has an hindex of 5, co-authored 9 publications receiving 63 citations.

Papers
More filters
Journal ArticleDOI

Software defect prevention based on human error theories

TL;DR: A systematic framework that integrates knowledge across disciplines, e.g., cognitive science, software psychology and software engineering to defend against human errors in software development is provided.
Journal ArticleDOI

A hazard analysis via an improved timed colored petri net with time-space coupling safety constraint

TL;DR: In this paper, a timed colored Petri net with imposed time-space coupling safety constraints (TCCP-NET) is proposed to model and analyze integrated modular avionics (IMA), a real-time, safety-critical system.
Proceedings ArticleDOI

Knowledge fusion based on D-S theory and its application on Expert System for software fault diagnosis

TL;DR: A novel knowledge fusion method based on D-S theory is provided to meet the challenge and its application on practical software fault diagnosis shows satisfied results.
Journal ArticleDOI

A Modeling Language Based on UML for Modeling Simulation Testing System of Avionic Software

TL;DR: The results indicate that extending UML to the simulation testing domain can effectively and precisely model STSAS.
Journal ArticleDOI

An IPC-based Prolog design pattern for integrating backward chaining inference into applications or embedded systems

TL;DR: An IPC-based method is used to integrate backward chaining inference implemented by Prolog into applications or embedded systems and the method can be adopted for other logic programming languages.